Principles and methods of testing finite state machines-a survey (1996)

by D Lee, M Yannakakis
Venue:Proceedings of the IEEE