M. Abadi and L. Lamport, The existence of refinement mappings, Theoretical Computer Science, vol.82, issue.2, pp.253-284, 1991.
DOI : 10.1016/0304-3975(91)90224-P

B. Alpern and F. B. Schneider, Recognizing safety and liveness, Distributed Computing, pp.117-126, 1987.
DOI : 10.1007/BF01782772
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5470

R. Alur and T. A. Henzinger, Logics and models of real time: A survey, LNCS, vol.600, pp.74-106, 1991.
DOI : 10.1007/BFb0031988

F. Arbab and J. J. Rutten, A Coinductive Calculus of Component Connectors, Lecture Notes in Computer Science, vol.5, issue.1, pp.34-55, 2002.
DOI : 10.2140/pjm.1955.5.285

C. Chilton, M. Z. Kwiatkowska, and X. Wang, Revisiting Timed Specification Theories: A Linear-Time Perspective, LNCS, vol.7595, pp.75-90, 2012.
DOI : 10.1007/978-3-642-33365-1_7
URL : https://hal.archives-ouvertes.fr/hal-00739584

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967
URL : http://vbn.aau.dk/ws/files/58768871/HSCC2010cameraready.pdf

L. De-alfaro and T. A. Henzinger, Interface Theories for Component-Based Design, EMSOFT, volume 2211 of LNCS, pp.148-165, 2001.
DOI : 10.1007/3-540-45449-7_11

G. Díaz, J. J. Pardo, M. Cambronero, V. Valero, and F. Cuartero, Verification of Web Services with Timed Automata, Electronic Notes in Theoretical Computer Science, vol.157, issue.2, pp.19-34, 2006.
DOI : 10.1016/j.entcs.2005.12.042

J. L. Fiadeiro and A. Lopes, An interface theory for service-oriented design, FASE, pp.18-33, 2011.
DOI : 10.1007/978-3-642-19811-3_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.1596

J. L. Fiadeiro and A. Lopes, Consistency of Service Composition, FASE, pp.63-77, 2012.
DOI : 10.1007/978-3-642-28872-2_5

N. Guermouche and C. Godart, Timed Model Checking Based Approach for Web Services Analysis, 2009 IEEE International Conference on Web Services, pp.213-221, 2009.
DOI : 10.1109/ICWS.2009.42
URL : https://hal.archives-ouvertes.fr/inria-00366404

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.7422

D. K. Kaynar, N. Lynch, R. Segala, and F. Vaandrager, The Theory of Timed I/O Automata, Synthesis Lectures on Computer Science, vol.1, issue.1, 2006.
DOI : 10.2200/S00006ED1V01Y200508CSL001

R. Kazhamiakin, P. K. Pandya, and M. Pistore, Representation, Verification, and Computation of Timed Properties in Web, 2006 IEEE International Conference on Web Services (ICWS'06), pp.497-504, 2006.
DOI : 10.1109/ICWS.2006.112

C. Laneve and G. Zavattaro, Foundations of Web Transactions, FoSSaCS, pp.282-298, 2005.
DOI : 10.1007/978-3-540-31982-5_18

A. Lapadula, R. Pugliese, and F. Tiezzi, C-clock-WS: A timed service-oriented calculus, ICTAC, pp.275-290, 2007.
DOI : 10.1007/978-3-540-75292-9_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2128

J. Ouaknine and J. Worrell, Safety Metric Temporal Logic Is Fully Decidable, TACAS, pp.411-425, 2006.
DOI : 10.1007/3-540-58468-4_191
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.2746

J. Ponge, B. Benatallah, F. Casati, and F. Toumani, Analysis and applications of timed service protocols, ACM Transactions on Software Engineering and Methodology, vol.19, issue.4, 2010.
DOI : 10.1145/1734229.1734230
URL : https://hal.archives-ouvertes.fr/inria-00483952