@article{pietersma2007a,
	author          = {Jurryt Pietersma and Arjan J.C. van Gemund and Andre Bos},
	title           = {A Model-Based Approach to Sequential Fault Diagnosis},
	journal         = {IEEE Instrumentation and Measurement Magazine},
	year            = {2007},
	month           = {April},
	volume          = {10},
	number          = {2},
	pages           = {46-52},
	issn            = {1094-6969},
	url             = {http://ieeexplore.ieee.org/iel5/5289/4211401/04213134.pdf?isnumber=4211401&prod=JNL&arnumber=4213134&arSt=46&ared=52&arAuthor=Pietersma%2C+J.%3B+van+Gemund%2C+A.J.C.%3B+Bos%2C+A.},
	project         = {Tangram},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}