The Hitchhiker's Guide to the Galaxy, 1979. ,
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
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Reactive modules. Formal Methods in System Design, pp.7-48, 1999. ,
DOI : 10.1109/lics.1996.561320
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
Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.255-263, 2005. ,
DOI : 10.1145/1086228.1086276
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
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
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
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
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
Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems, 2005. ,
DOI : 10.1007/b137175
The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991. ,
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
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
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
A universal, modular actor formalism for artificial intelligence, Proc.International Joint Conference on Artificial Intelligence, 1973. ,
Design and validation of computer protocols, 1991. ,
Programming real-time applications with SIGNAL, Proceedings of the IEEE, pp.1321-1336, 1991. ,
DOI : 10.1109/5.97301
Logical-time contracts for the development of reactive embedded software, 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), 2004. ,
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
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
Eiffel: An Introduction, Interactive Software Eng, 1988. ,
A calculus of communication systems, LNCS 92, 1980. ,
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=10.1.1.23.9185
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
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
GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, 2006. ,
DOI : 10.1145/1142680.1142684
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
Typing the behavior of software components using session types, Fundam. Inf, vol.73, issue.4, pp.583-598, 2006. ,
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