@inproceedings{AZG_PSC06,
	author    = {Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund},
	booktitle   = {Proceedings of 10th the Philips Software Conference},
	month       = {November},
	publisher   = {Philips},
	note        = {Veldhoven, Netherlands},
	title       = {Automatic Fault Diagnosis in Embedded Software},
	year        = {2006}
}