B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Int. Conf. ICTSS, 2012.
DOI : 10.1007/978-3-642-34691-0_10
URL : https://hal.archives-ouvertes.fr/hal-01482398

H. C. Bohnenkamp and A. Belinfante, Timed Testing with TorX, Proc. of Int. Conf. Formal Methods Europe (FM, 2005.
DOI : 10.1007/11526841_13

E. Brinksma, L. Heerink, and J. Tretmans, Factorized test generation for multi-input/output transition systems, FIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), volume 131 of IFIP Conference Proceedings, pp.67-82, 1998.
DOI : 10.1007/978-0-387-35381-4_5

A. Cavalli, C. Andres, and N. Yevtushenko, On modeling and testing the european train control system, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01262564

R. Dssouli and G. Von-bochmann, Error detection with multiple observers, Protocol Specification, Testing and Verification V, pp.483-494, 1985.

R. Dssouli and G. Von-bochmann, Conformance testing with multiple observers, Protocol Specification, Testing and Verification VI, pp.217-229, 1986.

J. P. Escobedo, C. Gaston, P. L. Gall, and A. R. Cavalli, Testing Web Service Orchestrators in Context: A Symbolic Approach, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010.
DOI : 10.1109/SEFM.2010.30
URL : https://hal.archives-ouvertes.fr/hal-01306744

J. P. Escobedo, C. Gaston, and P. L. Gall, Timed Conformance Testing for Orchestrated Service Discovery, Proc. of Int. Conf. Formal Aspects of. Component Software (FACS, 2011.
DOI : 10.1007/978-3-642-35743-5_9

M. C. Gaudel, Testing can be formal, too, 6th International Joint Conference CAAP/FASE Theory and Practice of Software Development (TAPSOFT'95), pp.82-96, 1995.
DOI : 10.1007/3-540-59293-8_188
URL : http://www.lri.fr/~mcg/PDF/TAPSOFTfin.pdf

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation relations and test generation for systems with distributed interfaces, Distributed Computing, vol.21, issue.13, pp.35-62, 2012.
DOI : 10.1016/S0140-3664(98)00178-9

R. M. Hierons and H. Ural, The Effect of the Distributed Test Architecture on the Power of Testing, The Computer Journal, vol.29, issue.4, pp.497-510, 2008.
DOI : 10.1093/comjnl/bxm096

R. M. Hierons, M. G. Merayo, and M. Núñez, Using Time to Add Order to Distributed Testing, 18th International Symposium on Formal Methods, pp.232-246, 2012.
DOI : 10.1007/978-3-642-32759-9_20

R. M. Hierons, Reaching and Distinguishing States of Distributed Systems, SIAM Journal on Computing, vol.39, issue.8, pp.3480-3500, 2010.
DOI : 10.1137/090771296
URL : http://bura.brunel.ac.uk/bitstream/2438/4448/1/Fulltext.pdf

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation Relations for the Distributed Test Architecture, 20th IFIP TC 6/WG 6.1 International Conference on the Testing of Software and Communicating Systems, pp.200-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

, 1. International Standard ISO/IEC 9646-1. Information Technology -Open Systems Interconnection -Conformance testing methodology and framework -Part 1: General concepts, 1994.

A. Khoumsi, A temporal approach for testing distributed systems, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1085-1103, 2002.
DOI : 10.1109/TSE.2002.1049406

M. Krichen and S. Tripakis, Black-box time systems, Proc. of Int. SPIN Workshop Model Checking of Software, 2004.

G. Luo, R. Dssouli, and G. V. Bochmann, Generating synchronizable test sequences based on finite state machine with distributed ports, The 6th IFIP Workshop on Protocol Test Systems, pp.139-153, 1993.

R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko, Model checking duration calculus: a practical approach, Formal Asp. Comput, vol.20, pp.4-5481, 2008.
DOI : 10.1007/11921240_23

B. Sarikaya and G. V. Bochmann, Synchronization and Specification Issues in Protocol Testing, IEEE Transactions on Communications, vol.32, issue.4, pp.389-395, 1984.
DOI : 10.1109/TCOM.1984.1096074

J. Schmaltz and J. Tretmans, On Conformance Testing for Timed Systems, Proc. of Int. Conf. FORMATS. Springer, 2008.
DOI : 10.1007/978-3-540-85778-5_18

H. Ural and Z. Wang, Synchronizable test sequence generation using UIO sequences, Computer Communications, vol.16, issue.10, pp.653-661, 1993.
DOI : 10.1016/0140-3664(93)90082-4