R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

F. Barbanera and U. De-'liguoro, Two notions of sub-behaviour for session-based client/server systems, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '10, pp.155-164, 2010.
DOI : 10.1145/1836089.1836109

F. Barbanera and U. De-'liguoro, Sub-behaviour relations for session-based client/server systems, Mathematical Structures in Computer Science, vol.1381, issue.06, pp.1-43
DOI : 10.1007/978-3-540-74407-8_15

M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu, Compliance and Subtyping in Timed Session Types
DOI : 10.1007/978-3-319-19195-9_11
URL : https://hal.archives-ouvertes.fr/hal-01767334

G. Behrmann, A. David, and K. G. Larsen, A tutorial on Uppaal In Formal methods for the design of real-time systems, pp.200-236, 2004.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, ACPN, pp.87-124, 2003.
DOI : 10.1007/978-3-540-27755-2_3
URL : http://www.seas.upenn.edu/~lee/09cis480/papers/by-lncs04.pdf

L. Bocchi, W. Yang, and N. Yoshida, Timed Multiparty Session Types, In CONCUR, pp.419-434, 2014.
DOI : 10.1007/978-3-662-44584-6_29

G. Castagna, M. Dezani-ciancaglini, E. Giachino, and L. Padovani, Foundations of session types, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.219-230, 2009.
DOI : 10.1145/1599410.1599437
URL : http://www.di.unito.it/~dezani/papers/cdgp08.pdf

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for web services, ACM Transactions on Programming Languages and Systems, issue.5, p.31, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00694649

R. Corin, P. Deniélou, C. Fournet, K. Bhargavan, and J. J. Leifer, A secure compiler for session abstractions, Journal of Computer Security, vol.16, issue.5, 2008.
DOI : 10.3233/JCS-2008-0334
URL : http://www.msr-inria.inria.fr/projects/sec/sessions/sessionslong.pdf

A. David, K. G. Larsen, A. Legay, U. Nyman, L. Traonouez et al., Real-time specifications, International Journal on Software Tools for Technology Transfer, vol.5, issue.7, pp.17-45, 2015.
DOI : 10.2140/pjm.1955.5.285
URL : https://hal.archives-ouvertes.fr/hal-01087799

L. De-alfaro and T. A. Henzinger, Interface automata, ACM SIGSOFT, pp.109-120, 2001.

P. Deniélou and N. Yoshida, Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types, ICALP, 2013.
DOI : 10.1007/978-3-642-39212-2_18

M. Dezani-ciancaglini and U. De-'liguoro, Sessions and Session Types: An Overview, WS-FM, pp.1-28, 2009.
DOI : 10.1007/978-3-642-14458-5_1

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model Checking for Real-Time Systems, Information and Computation, vol.111, issue.2, pp.193-244, 1994.
DOI : 10.1006/inco.1994.1045

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, 2008.

P. Krcál and W. Yi, Communicating Timed Automata: The More Synchronous, the More Difficult to Verify, CAV, pp.249-262, 2006.
DOI : 10.1007/11817963_24

C. Laneve and L. Padovani, The Must Preorder Revisited, In CONCUR, pp.212-225, 2007.
DOI : 10.1007/978-3-540-74407-8_15

R. Neykova, L. Bocchi, and N. Yoshida, Timed runtime monitoring for multiparty conversations, BEAT, pp.19-26, 2014.
DOI : 10.4204/eptcs.162.3
URL : http://arxiv.org/pdf/1408.5979

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, PARLE, 1994.
DOI : 10.1007/3-540-58184-7_118

N. Yoshida, R. Hu, R. Neykova, and N. Ng, The Scribble protocol language, TGC, pp.22-41, 2013.
DOI : 10.1007/978-3-319-14128-2_3