El-Fakih, Khaled, Maxim Gromov, Natalia Shabaldina, and Nina Yevtushenko. “Distinguishing Experiments for Timed Nondeterministic Finite State Machine”. Acta Cybernetica 21, no. 2 (January 1, 2013): 205–222. Accessed May 11, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3840.