Alexandre Petrenko Gregor von Bochmann Ming Yu Yao On Fault Coverage of Tests for Finite State Specifications. 81-106 1996 29 Computer Networks and ISDN Systems 1 db/journals/cn/cn29.html#PetrenkoBY96 http://dx.doi.org/10.1016/S0169-7552(96)00019-0