Maxim Gromov Khaled El-Fakih Natalia Shabaldina Nina Yevtushenko Distinguing Non-deterministic Timed Finite State Machines. 137-151 2009 FMOODS/FORTE http://dx.doi.org/10.1007/978-3-642-02138-1_9 conf/forte/2009 db/conf/forte/forte2009.html#GromovESY09