@INProceedings{ZAGG_ECBS:07,
	author    = {Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alex Feldman, and Arjan J.C. van Gemund},
	title     = {Automated Fault Diagnosis in Embedded Software},
	booktitle = {Proceedings of the the ESI / Bits & Chips Embedded Systems Conference},
	note      = {Eindhoven, the Netherlands},
	month     = {October 17 -- 18},
	year      = 2007,
}