Mirko Conrad Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). 2004 conf/dagstuhl/2004P4371 Perspectives of Model-Based Testing http://drops.dagstuhl.de/opus/volltexte/2005/325 db/conf/dagstuhl/P4371.html#Conrad04