A State Assignment Method to Improve Transition Fault Coverage for Controllers | IEEE Conference Publication | IEEE Xplore