T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska, A Compositional Specification Theory for Component Behaviours, LNCS, vol.12, issue.7211, pp.148-168, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

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 automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

D. K. Kaynar, N. A. Lynch, R. Segala, and F. W. Vaandrager, Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003.
DOI : 10.1109/REAL.2003.1253264

W. Lim, Design methodology for stoppable clock systems. Computers and Digital Techniques, IEE Proceedings E, vol.133, pp.65-72, 1986.

S. Moore, G. Taylor, P. Cunningham, R. Mullins, and P. Robinson, Using stoppable clocks to safely interface asynchronous and synchronous subsystems, AINT (Asynchronous INTerfaces) Workshop, 2000.

X. Wang and M. Z. Kwiatkowska, On process-algebraic verification of asynchronous circuits. Fundam, Inform, vol.80, pp.283-310, 2007.

D. L. Dill, Trace theory for automatic hierarchical verification of speedindependent circuits, ACM distinguished dissertations, 1989.

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems, In: ATVA. LNCS, vol.6252, pp.365-370, 2010.
DOI : 10.1007/978-3-642-15643-4_29

N. Bertrand, A. Legay, S. Pinchinat, and J. B. Raclet, A Compositional Approach on Modal Specifications for Timed Systems, In: ICFEM. LNCS, vol.5885, pp.679-697, 2009.
DOI : 10.1007/978-3-642-10373-5_35
URL : https://hal.archives-ouvertes.fr/inria-00418855

K. Cerans, J. C. Godskesen, and K. G. Larsen, Timed Modal Specification ???Theory and Tools, BRICS Report Series, vol.4, issue.11, pp.253-267, 1993.
DOI : 10.7146/brics.v4i11.18802
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3202

J. Berendsen and F. W. Vaandrager, Compositional Abstraction in Real-Time Model Checking, In: FORMATS. LNCS, vol.5215, pp.233-249, 2008.
DOI : 10.1007/978-3-540-85778-5_17

T. Verhoeff, A Theory of Delay-Insensitive Systems, 1994.

B. Zhou, T. Yoneda, and C. Myers, Framework of timed trace theoretic verification revisited, IEICE Trans. on Information and Systems, vol.85, pp.1595-1604, 2002.

L. Thiele, E. Wandeler, and N. Stoimenov, Real-time interfaces for composing realtime systems, In: EMSOFT, 2006.

I. Lee, J. Leung, and S. Song, Handbook of Real-Time and Embedded Systems, 2007.

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

X. Wang, Maximal Confluent Processes, LNCS, vol.7347, 2012.
DOI : 10.1007/978-3-642-31131-4_11
URL : https://hal.archives-ouvertes.fr/hal-00740738