@inproceedings{95,
  author = {Samaneh Navabpour and Yogi Joshi and Chun Wallace and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
  title = {RiTHM: A  Tool for Enabling Time-triggered Runtime Verification for C Programs},
  year = {2013},
  journal = {Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE)},
  address = {St. Petersburg, Russia},
}