@inproceedings{pietersma2006b,
	author          = {Jurryt Pietersma and Alexander Feldman and Arjan J.C. van Gemund},
	title           = {Modeling and Compilation Aspects of Fault Diagnosis Complexity},
	booktitle       = {2006 IEEE AUTOTESTCON IEEE Systems Readiness Technology Conference Proceedings},
	publisher       = {IEEE},
	year            = {2006},
	month           = {September},
	organization    = {IEEE},
	editor          = {AUTOTESTCON Board of Directors},
	pages           = {502-508},
	isbn            = {1-4244-0052-X},
	url             = {http://ieeexplore.ieee.org/iel5/4062300/4062301/04062428.pdf?tp=&arnumber=4062428&isnumber=4062301},
	project         = {Tangram},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}