Lee, D. and Yannakakis, M. (1996) Principles and Methods of Testing Finite State Machines—A Survey. Proceedings of the IEEE, 84, 1090-1123. http://dx.doi.org/10.1109/5.533956
has been cited by the following article: