State Assignment for Detecting Erroneous Transitions in Finite State Machines | IEEE Conference Publication | IEEE Xplore