El-Fakih Khaled: Distinguishing experiments for timed nondeterministic finite state machine. In: Acta cybernetica, (21) 2. pp. 205-222. (2013)