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