Christoph M. Kirchsteiger Christoph Trummer Christian Steger Reinhold Weiss Markus Pistauer Specification-based Verification of Embedded Systems by Automated Test Case Generation. 35-44 2008 DIPES http://dx.doi.org/10.1007/978-0-387-09661-2_4 conf/ifip10-3/2008dipes db/conf/ifip10-3/dipes2008.html#KirchsteigerTSWP08