K. El-Fakih, “Distinguishing experiments for timed nondeterministic finite state machine”, Acta Cybern, vol. 21, no. 2, pp. 205-222, Jan. 2013.