Petrenko, Bochmann, Yao, 1996. On fault coverage of tests for finite state specifications 29.. https://doi.org/10.1016/s0169-7552(96)00019-0