TY  - RPRT
TI  - Safe Schedulability of Bounded-Rate Multi-Mode Systems
AU  - Rajeev Alur
AU  - Vojtech Forejt
AU  - Salar Moarref
AU  - Ashutosh Trivedi
PY  - 2013
UR  - https://arxiv.org/abs/1302.0745
ID  - 1302.0745
ER  -