@inproceedings{dblp-conf-hybrid-alurfmt13,
  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://dblp.org/rec/conf/hybrid/AlurFMT13},
  booktitle = {HSCC 2013}
}