@inproceedings{pietersma2007b,
	author          = {Jurryt Pietersma and Arjan J.C. van Gemund},
	title           = {Symbolic Factorization of Propagation Delays out of Diagnostic System Models},
	booktitle       = {DX-07, 18th International Workshop on Principles of Diagnosis},
	year            = {2007},
	month           = {May},
	editor          = {Gautam Biswas and Xenofon Koutsoukos and Sherif Abdelwahed},
	pages           = {170-177},
	location        = {Nashville, TN, USA},
	url             = {http://www.isis.vanderbilt.edu/dx07/Proceedings/Proceedings.pdf#page=184},
	project         = {Tangram},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}