@inproceedings{pietersma2005a,
	author          = {Jurryt Pietersma and Arjan J.C. van Gemund and Andre Bos},
	title           = {A Model-Based Approach to Sequential Fault Diagnosis},
	booktitle       = {AUTOTESTCON 2005 Proceedings IEEE Systems Readiness Technology Conference, Orlando (FL), USA},
	publisher       = {IEEE},
	year            = {2005},
	month           = {September},
	organization    = {IEEE},
	editor          = {AUTOTESTCON board of directors},
	pages           = {621-627},
	note            = {Best student paper award.},
	isbn            = {0-7803-9102-0},
	url             = {http://ieeexplore.ieee.org/iel5/10700/33790/01609208.pdf?tp=&arnumber=1609208&isnumber=33790},
	project         = {Tangram},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}