An Evaluation of a Testability Measure for State Assignment to Estimate Transition Fault Coverage for Controllers | IEEE Conference Publication | IEEE Xplore