@inproceedings{pietersma2004,
	author          = {Jurryt Pietersma and Arjan J.C. van Gemund and Andre Bos},
	title           = {A Model-Based Approach to Fault Diagnosis of Embedded Systems},
	booktitle       = {Proceedings of the tenth annual conference of the Advanced School for Computing and Imaging (ASCI 2004), Port ZĂ©lande, Ouddorp, The Netherlands},
	publisher       = {Advanced School for Computing and Imaging (ASCI)},
	year            = {2004},
	month           = {June},
	organization    = {Advanced School for Computing and Imaging (ASCI)},
	editor          = {J.J. van Wijk and J.W.J. Heijnsdijk and K.G. Langendoen and R. Veltkamp},
	pages           = {189-196},
	address         = {p/a EWI/TUD, P.O. Box 5031, 2600 GA Delft, The Netherlands},
	isbn            = {90-803086-9-2},
	project         = {Tangram},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}