@conference {3509,
	title = {Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems},
	booktitle = {Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE{\textquoteright}06)},
	year = {2006},
	month = {March},
	pages = {129--140},
	address = {Potsdam, Germany},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Dubey_A_3_0_2006_Verifying_.pdf},
	author = {Dubey, Abhishek and Nordstrom, Steven and Keskinpala, Turker and Neema, Sandeep and Bapty, Ted}
}
