Seamless Testing of Embedded Control Systems. - Eric Sax; J. Willibald; Klaus D. Müller-Glaser (LATW, 2002)