@inproceedings{DATE-2001-DorschW,
	author        = "Rainer Dorsch and Hans-Joachim Wunderlich",
	booktitle     = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
	doi           = "10.1145/367072.367999",
	isbn          = "0-7695-0993-2",
	pages         = "805",
	publisher     = "{ACM}",
	title         = "{Using mission logic for embedded testing}",
	year          = 2001,
}