Fault coverage analysis in respect to an FSM specification | IEEE Conference Publication | IEEE Xplore