@misc{indiciae6a00de2470c1,
  title = {Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles},
  author = {Simon Picard and Antonio Paolillo and Gilles Geeraerts and Joël Goossens},
  year = {2024},
  doi = {10.1145/3696355.3699702},
  url = {https://arxiv.org/abs/2410.18308},
  note = {Source identifier: 2410.18308}
}