@conference {4224,
	title = {Model-Based Avionics Systems Fault Simulation and Detection},
	booktitle = {American Institute of Aeronautics and Astronautics, AIAA Infotech Aerospace 2010},
	year = {2010},
	month = {04/2010},
	address = {Atlanta, GA},
	author = {Bharadwaj Raj and Kulkarni, Chetan and Kim Kyusung and Biswas, Gautam}
}
