El-Fakih, K., Gromov, M., Shabaldina, N., & Yevtushenko, N. (2013). Distinguishing experiments for timed nondeterministic finite state machine. Acta Cybernetica, 21(2), 205–222. https://doi.org/10.14232/actacyb.21.2.2013.1