@article {3473,
	title = {Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems},
	journal = {ISSE},
	volume = {3},
	year = {2007},
	pages = {33--52},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Dubey_A_1_24_2007_Towards_a_.pdf},
	author = {Dubey, Abhishek and Nordstrom, Steven and Keskinpala, Turker and Neema, Sandeep and Bapty, Ted and Karsai, Gabor}
}
