@misc{indiciae1c6a9363e4b3,
  title = {Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems},
  author = {Xiaozhe Gu and Arvind Easwaran},
  year = {2020},
  doi = {10.1145/3105922},
  url = {https://arxiv.org/abs/2003.05160},
  note = {Source identifier: 2003.05160}
}