A. Gill, Introduction to the Theory of Finite-State Machines, 1964.

T. S. Chow, Test design modeled by finite-state machines, IEEE Transactions on Software Engineering, vol.4, issue.3, pp.178-187, 1978.
DOI : 10.1109/tse.1978.231496

R. Dorofeeva, K. El-fakih, S. Maag, A. R. Cavalli, and N. Yevtushenko, FSM-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010.
DOI : 10.1016/j.infsof.2010.07.001
URL : https://hal.archives-ouvertes.fr/hal-00593960

A. Petrenko and N. Yevtushenko, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM, Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), pp.118-133, 2005.
DOI : 10.1109/TSE.2003.1166585

A. Petrenko and N. Yevtushenko, Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs, Proceedings of the 23 d IFIP Int. Conference on Testing Software and Systems, pp.162-178, 2011.
DOI : 10.1007/978-3-642-24580-0_12
URL : https://hal.archives-ouvertes.fr/hal-01583921

N. Yevtushenko and N. Kushik, Nondeterministic Merging-free Finite State Machines, Proceedings of IEEE East-West Design & Test Symposium (EWDTS), pp.338-341, 2015.

D. Lee and M. Yannakakis, Testing finite-state machines: state identification and verification, IEEE Transactions on Computers, vol.43, issue.3, pp.306-320, 1994.
DOI : 10.1109/12.272431