Principles and methods of Testing Finite State Machines -- a survey (1996)

by David Lee, Mihalis Yannakakis
Venue:PROCEEDINGS OF IEEE