Testing finite state machines: fault detection (1995)

by M Yannakakis, D Lee
Venue:Deursen 97/04 J.C.M. Baeten and l.A. Bergstra 97/05 J.C.M. Baeten and J.J. Vereijken 97/06 M. Franssen 97/07 J.C.M. Baeten and J.A. Bergstra 97/08 P. Hoogendijk and R.c. Backhouse A Programming-Language Extension for Distributed Real-Time Systems, p. 50.