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