@inbook{pietersma2007tangram2,
	author          = {Jurryt Pietersma and Arjan J.C. van Gemund},
	title           = {Tangram: Model-based Integration and Testing of Complex High-Tech Systems},
	chapter         = {Costs and Benefits of Model-Based Diagnosis},
	publisher       = {Embedded Systems Institute},
	year            = {2007},
	month           = {November},
	editor          = {J. Tretmans},
	pages           = {179-187},
	address         = {Den Dolech 2, 5612 AZ Eindhoven, Netherlands},
	isbn            = {978-90-78679-02-8},
	url             = {http://www.esi.nl/site/projects/tangram/publications/tangramBook20071003.pdf#page=187},
	project         = {Tangram},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}