Markus Damm State Assignment for Detecting Erroneous Transitions in Finite State Machines. 483-490 2006 conf/dsd/2006 DSD http://doi.ieeecomputersociety.org/10.1109/DSD.2006.85 db/conf/dsd/dsd2006.html#Damm06