TY  - RPRT
TI  - Extending Rely-Guarantee thinking to handle Real-Time Scheduling
AU  - Cliff B. Jones
AU  - Alan Burns
PY  - 2023
DO  - 10.1007/s10703-023-00441-y
UR  - https://arxiv.org/abs/2312.00171
ID  - 2312.00171
ER  -