Simulated Restriction of Coverage Criteria on UML State Machines. - Stephan Weißleder; Thomas Rogenhofer (ICST Workshops, 2011)