@misc{indiciaecb01538b4035,
  title = {Extending Rely-Guarantee thinking to handle Real-Time Scheduling},
  author = {Cliff B. Jones and Alan Burns},
  year = {2023},
  doi = {10.1007/s10703-023-00441-y},
  url = {https://arxiv.org/abs/2312.00171},
  note = {Source identifier: 2312.00171}
}