@inproceedings{AZG_PSC06,
	author          = {Rui Abreu and Peter Zoeteweij and Rob Golsteijn and Arjan J.C. van Gemund},
	title           = {Automatic Fault Diagnosis in Embedded Software},
	booktitle       = {Proceedings of  the 10th Philips Software Conference},
	publisher       = {Philips},
	year            = {2006},
	month           = {November},
	editor          = {Jaap van der Heijden},
	pages           = {10},
	note            = {Veldhoven, Netherlands},
	url             = {http://www.st.ewi.tudelft.nl/~abreu/articles/psc06.pdf},
	project         = {TRADER},
	group           = {SE}
}