@misc{indiciae6a908972a8d7,
  title = {Safe Schedulability of Bounded-Rate Multi-Mode Systems},
  author = {Rajeev Alur and Vojtech Forejt and Salar Moarref and Ashutosh Trivedi},
  year = {2013},
  url = {https://arxiv.org/abs/1302.0745},
  note = {Source identifier: 1302.0745}
}