@article {3666,
	title = {An Approach to Model-Based Diagnosis of Hybrid Systems},
	journal = {Lecture Notes in Computer Science},
	volume = {2289},
	year = {2002},
	note = {C.J. Tomlin and M.R. Greenstreet, eds., Springer Verlag, Berlin},
	month = {March},
	pages = {308--322},
	author = {Narasimhan, Sriram and Biswas, Gautam}
}
