R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating refinement relations, Proceedings of the 9th International Conference on Concurrency Theory. pp. 163?178. CONCUR '98, 1998.
DOI : 10.1007/BFb0055622
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1421

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication , and Software Systems, SFM-RT 2004, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

F. De-boer, D. Clarke, and E. Johnsen, A Complete Guide to the Future, Lecture Notes in Computer Science, vol.4421, pp.316-330978, 2007.
DOI : 10.1007/978-3-540-71316-6_22

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, In: Lecture Notes in Computer Science. pp, pp.151-173, 2002.
DOI : 10.1007/3-540-46002-0_34

L. Frantzen, M. Las-nieves-huerta, Z. G. Kiss, and T. Wallet, On-the-fly modelbased testing of web services with Jambition, Web Services and Formal Methods, pp.143-157978, 2009.

L. Frantzen, J. Tretmans, and T. A. Willemse, Test Generation Based on Symbolic Specifications, number 3395 in LNCS, pp.1-15, 2004.
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6550

A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

J. Schmaltz and J. Tretmans, On Conformance Testing for Timed Systems, Lecture Notes in Computer Science, vol.5215, pp.250-264, 2008.
DOI : 10.1007/978-3-540-85778-5_18

C. Schwarzl and B. Peischl, Static- and Dynamic Consistency Analysis of UML State Chart Models, Lecture Notes in Computer Science, vol.6394, pp.151-165, 2010.
DOI : 10.1007/978-3-642-16145-2_11

C. Schwarzl and B. Peischl, Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems, 2010 10th International Conference on Quality Software, 2010.
DOI : 10.1109/QSIC.2010.22

J. Tretmans, Test generation with inputs, outputs, and quiescence, pp.127-146, 1996.
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528

M. Veanes and N. Bjørner, Alternating simulation and IOCO, Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, pp.47-62, 2010.
DOI : 10.1007/s10009-011-0215-9
URL : https://hal.archives-ouvertes.fr/hal-01055244

M. Veanes, C. Campbell, W. Grieskamp, W. Schulte, N. Tillmann et al., Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, Formal Methods and Testing, pp.39-76, 2008.
DOI : 10.1007/978-3-540-78917-8_2

V. Styp, S. Bohnenkamp, H. Schmaltz, and J. , A conformance testing relation for symbolic timed automata In: Proceedings of the 8th international conference on Formal modeling and analysis of timed systems, pp.243-255, 2010.