Testing finite state machines: fault detection (1995)

by M Yannakakis, D Lee
Venue:Journal of Computer and System Sciences