Andreas Ulrich Introducing model-based testing techniques in industrial projects. 29-34 2007 conf/se/2007w Software Engineering (Workshops) db/conf/se/se2007w.html#Ulrich07