D. Adams, The Hitchhiker's Guide to the Galaxy, 1979.

R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand, An Architecture for Autonomy, The International Journal of Robotics Research, vol.17, issue.4, 1998.
DOI : 10.1177/027836499801700402

URL : https://hal.archives-ouvertes.fr/hal-00123273

R. Alur and D. 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

R. Alur and T. A. Henzinger, Reactive modules. Formal Methods in System Design, pp.7-48, 1999.
DOI : 10.1109/lics.1996.561320

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

URL : https://hal.archives-ouvertes.fr/hal-00375298

A. Benveniste, B. Caillaud, L. P. Carloni, and A. L. Sangiovanni-vincentelli, Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.255-263, 2005.
DOI : 10.1145/1086228.1086276

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

D. Björklund and J. Lilius, A language for multiple models of computation, Proceedings of the tenth international symposium on Hardware/software codesign , CODES '02, pp.25-30, 2002.
DOI : 10.1145/774789.774795

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, Int. Journal in Computer Simulation, vol.4, issue.2, p.0, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

P. Caspi, C. Mazuet, and N. R. Paligot, About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, 20th International Conference Proceedings, volume 2187 of LNCS, pp.215-226, 2001.
DOI : 10.1007/3-540-45416-0_21

F. Ghenassia, Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems, 2005.
DOI : 10.1007/b137175

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

N. Halbwachs and L. Mandel, Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
DOI : 10.1109/ACSD.2006.24

URL : https://hal.archives-ouvertes.fr/hal-00189567

C. Hardebolle, F. Boulanger, D. Marcadet, and G. Vidal-naquet, A Generic Execution Framework for Models of Computation, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07), 2007.
DOI : 10.1109/MOMPES.2007.1

URL : https://hal.archives-ouvertes.fr/hal-00256116

C. Hewitt, A universal, modular actor formalism for artificial intelligence, Proc.International Joint Conference on Artificial Intelligence, 1973.

J. Gerard and . Holzmann, Design and validation of computer protocols, 1991.

P. Leguernic, T. Gautier, M. Leborgne, and C. Lemaire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

F. Maraninchi and L. Morel, Logical-time contracts for the development of reactive embedded software, 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), 2004.

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

F. Maraninchi, L. Samper, K. Baradon, and A. Vasseur, Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks, SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems, 2007.
DOI : 10.1016/j.entcs.2008.05.013

B. Meyer, Eiffel: An Introduction, Interactive Software Eng, 1988.

R. Milner, A calculus of communication systems, LNCS 92, 1980.

S. Plasil and F. Visnovsky, Behavior protocols for software components. Software Engineering, IEEE Transactions on, vol.28, pp.1056-1076, 2002.
DOI : 10.1109/tse.2002.1049404

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Ray and R. Cleaveland, Architectural interaction diagrams: AIDs for system modeling, 25th International Conference on Software Engineering, 2003. Proceedings., pp.396-407, 2003.
DOI : 10.1109/ICSE.2003.1201218

P. Raymond, Y. Roux, and E. Jahier, Specifying and Executing Reactive Scenarios With Lutin, SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems, 2007.
DOI : 10.1016/j.entcs.2008.05.008

URL : https://hal.archives-ouvertes.fr/hal-00389799

L. Samper, F. Maraninchi, L. Mounier, and L. Mandel, GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, 2006.
DOI : 10.1145/1142680.1142684

I. Sander and A. Jantsch, System Modeling and Transformational Design Refinement in ForSyDe, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.23, issue.1, pp.17-32, 2004.
DOI : 10.1109/TCAD.2003.819898

". A. Vallecillo, V. T. Vasconcelos, and A. Ravara, Typing the behavior of software components using session types, Fundam. Inf, vol.73, issue.4, pp.583-598, 2006.

J. Van-den-bos, Procol: a protocol-constrained concurrent object-oriented language, Information Processing Letters, vol.32, issue.5, pp.221-227, 1989.
DOI : 10.1016/0020-0190(89)90047-1