Rajeev Alur & David L. Dill (1994):
A theory of timed automata.
Theoretical Computer Science 126(2),
pp. 183 – 235,
doi:10.1016/0304-3975(94)90010-8.
Davide Bresolin, Khaled El-Fakih, Tiziano Villa & Nina Yevtushenko (2014):
Deterministic timed finite state machines: equivalence checking and expressive power.
Research report RR 94/2014.
Department of Computer Science, University of Verona,
Verona, Italy.
K. El-Fakih, M. Gromov, N. Shabaldina & N. Yevtushenko (2013):
Distinguishing Experiments for Timed Nondeterministic Finite State Machines.
Acta Cybernetica 212(2),
pp. 205–222.
Khaled El-Fakih, Nina Yevtushenko & Adenilso Simao (2014):
A practical approach for testing timed deterministic finite state machines with single clock.
Science of Computer Programming 80, Part B(0),
pp. 343 – 355,
doi:10.1016/j.scico.2013.09.008.
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina & Nina Yevtushenko (2009):
Distinguishing Non-deterministic Timed Finite State Machines.
In: Formal Techniques for Distributed Systems,
Lecture Notes in Computer Science 5522.
Springer Berlin Heidelberg,
pp. 137–151,
doi:10.1007/978-3-642-02138-1_9.
Robert M. Hierons, Mercedes G. Merayo & Manuel Núñez (2009):
Testing from a stochastic timed system with a fault model.
The Journal of Logic and Algebraic Programming 78(2),
pp. 98 – 115,
doi:10.1016/j.jlap.2008.06.001.
Mercedes G. Merayo, Manuel Núñez & Ismael Rodríguez (2008):
Formal testing from timed finite state machines.
Computer Networks 52(2),
pp. 432–460,
doi:10.1016/j.comnet.2007.10.002.
T. Villa, N. Yevtushenko, R. Brayton, A. Mishchenko, A. Petrenko & A. Sangiovanni-Vincentelli (2012):
The unknown component problem: theory and applications.
Springer Verlag,
doi:10.1007/978-0-387-68759-9.
M. Zhigulin, N. Yevtushenko, S. Maag & A. Cavalli (2011):
FSM-Based Test Derivation Strategies for Systems with Time-Outs.
In: Proc. of the 11th Int. Conf. on Quality Software (QSIC 2011),
pp. 141–149,
doi:10.1109/QSIC.2011.30.