El-Fakih, K. (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