@article{awan2019techniques,
  title={Techniques and analysis for mixed-criticality scheduling with mode-dependent server execution budgets},
  author={Awan, Muhammad Ali and Bletsas, Konstantinos and Souto, Pedro F and Akesson, Benny and Tovar, Eduardo},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  volume={18},
  number={5s},
  pages={1--23},
  year={2019},
  publisher={ACM New York, NY, USA}
}