C. R. Alur, N. Courcoubetis, T. A. Halbwachs, P. Henzinger, X. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

K. Altisen, G. Gößler, and J. Sifakis, Scheduler modeling based on the controller synthesis paradigm, Real-Time Systems, vol.23, issue.1/2, pp.55-84, 2002.
DOI : 10.1023/A:1015346419267

. Ant and . Antlr, Abstract behavior types: a foundation model for components and their composition, antlr.org/ [Arb05] Farhad Arbab, pp.3-52, 2005.

[. Allen, S. Vestal, D. Cornhill, and B. Lewis, Using an architecture description language for quantitative analysis of real-time systems, Proceedings of the third international workshop on Software and performance , WOSP '02, pp.203-210, 2002.
DOI : 10.1145/584369.584399

[. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, FORTE, vol.3, issue.1, pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261

A. Basu, S. Bensalem, M. Gallien, F. Ingrand, C. Lesire et al., Incremental component-based construction and verification of a robotic system, 2008.

[. 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

[. Bensalem, M. Bozga, J. Sifakis, and T. Nguyen, Compositional verification for component-based systems and application, 6th International Symposium on Automated Technology for Verification and Analysis, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00568866

[. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, pp.389-448, 1985.
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

[. Benton, L. Cardelli, and C. Fournet, Modern concurrency abstractions for c#, Proceedings of the 16th European Conference on Object-Oriented Programming, pp.415-440, 2002.

J. [. Bozga, A. Fernandez, L. Kerbrat, and . Mounier, Protocol verification with the aldebaran toolset, Software Tools for Technology Transfer 1, pp.166-183, 1997.

[. Bruni, J. Luiz-fiadeiro, I. Lanese, and A. Lopes, New Insights on Architectural Connectors, Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science, IFIP Conference Proceedings, Kluwer Academics, pp.367-379, 2004.
DOI : 10.1007/1-4020-8141-3_29

. Bgk-+-06-]-k, A. S. Balasubramanian, G. Gokhale, J. Karsai, S. Sztipanovits et al., Developing applications using model-driven design environments, IEEE Computer, vol.39, issue.2, pp.33-40, 2006.

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

[. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A framework for simulating and prototyping heterogenous systems, Readings in hardware, pp.527-543, 2002.

J. Simon-bliudze and . Sifakis, The algebra of connectors ? structuring interaction in BIP, EmSoft, pp.11-20, 2007.

S. Bliudze and J. Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, Proceeding of the EMSOFT'07 ACM SigBED, pp.11-20, 2007.
DOI : 10.1109/TC.2008.26

[. Bornot, J. Sifakis, and S. Tripakis, Modeling urgency in timed systems, COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference, pp.103-129, 1998.

H. Watanabe, L. Hsieh, C. Lavagno, A. L. Passerone, and . Sangiovanni-vincentelli, Metropolis: An integrated electronic system design environment, IEEE Computer, vol.36, issue.4, pp.45-52, 2003.

E. [. Clarke and . Emerson, Synthesis of synchronization skeletons for branching time temporal logic, Workshop on Logic of Programs (Yorktown Heights, 1981.

[. Combaz and J. Fernandez, Joseph Sifakis, and Lo¨?cLo¨?c Strus, Symbolic quality control for multimedia applications, Real-Time Syst, pp.1-43, 2008.

[. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456

[. Chkouri, A. Robert, M. Bozga, and J. Sifakis, Translating AADL into BIP -Application to the Verification of Real-time Systems, Model Based Architecting and Construction of Embedded Systems, 2008.

A. L. Edward, E. Cheong, and Y. Zhao, Joint modeling and design of wireless networks and sensor node software, 2006.

]. J. Ejl-+-03, J. W. Eker, E. A. Janneck, J. Lee, X. Liu et al., Taming heterogeneity: The Ptolemy approach, Proceedings of the IEEE 91, pp.127-144, 2003.

J. Stephen, N. A. Garland, and . Lynch, The ioa language and toolset: Support for designing, analyzing, and building distributed systems, 1998.

D. Gay, P. Levis, R. Von-behren, M. Welsh, E. Brewer et al., The NesC language: A holistic approach to networked embedded systems, SIGPLAN Conference on Programming Language Design and Implementation, 2003.

]. G. Gößl01 and . Gößler, Prometheus ? a compositional modeling tool for real-time systems, Proc. Workshop RT-TOOLS 2001, pp.314-329, 2001.

D. Garlan and B. R. Schmerl, Using Architectural Models at Runtime: Research Challenges, pp.200-205, 2004.
DOI : 10.1007/978-3-540-24769-2_15

G. Gößler and J. Sifakis, Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014

L. Girod, T. Stathopoulos, N. Ramanathan, J. Elson, D. Estrin et al., A system for simulation, emulation and deployement of heterogeneous sensor networks, 2nd International Conference on Embedded Networked Sensor Systems, 2004.

]. T. Hen96 and . Henzinger, The theory of hybrid automata, LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, p.278, 1996.

J. [. Henzinger and . Sifakis, The Embedded Systems Design Challenge, Proceedings FM 2006, 2006.
DOI : 10.1007/11813040_1

[. Iosif and A. Rogalewicz, An approach to derivation of component-based implementations from data-oriented specifications, 2007.

[. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu et al., CADP a protocol validation and verification toolbox, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, pp.437-440, 1996.
DOI : 10.1007/3-540-61474-5_97

]. E. Lee03 and . Lee, Overview of the ptolemy project, 2003.

[. Levis, N. Lee, M. Welsh, and D. Culler, TOSSIM, Proceedings of the first international conference on Embedded networked sensor systems , SenSys '03, pp.126-137, 2003.
DOI : 10.1145/958491.958506

M. [. Mateescu and . Sighireanu, Efficient on-the-fly modelchecking for regular alternation-free mu-calculus, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00072755

J. Polley, D. Blazakis, J. Mcgee, D. Rusk, and J. S. Baras, ATEMU: a fine-grained sensor network simulator, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004., 2004.
DOI : 10.1109/SAHCN.2004.1381912

]. M. Pha94 and . Phalippou, Executable testers, IWPTS, 1994.

G. D. Plotkin, A structural approach to operational semantics, 1981.

[. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Int. Symposium on Programming, 1982.
DOI : 10.1007/3-540-11494-7_22

M. Quinn, Designing efficient algorithms for parallel computers, 1986.

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

D. J. Ruf, J. Hoffmann, T. Gerlach, W. Kropf, W. Rosenstiehl et al., The simulation semantics of systemc, DATE '01: Proceedings of the conference on Design, automation and test in Europe, pp.64-70, 2001.

[. Bensalem, M. Bozga, and J. Sifakis, Compositional deadlock-detection and verification for component-based systems, 2008.

[. Selic, Tutorial: an overview of UML 2.0, Proceedings. 26th International Conference on Software Engineering, pp.741-742, 2004.
DOI : 10.1109/ICSE.2004.1317514

]. J. Sif05 and . Sifakis, A framework for component-based construction, Proceedings of the Third International Conference on Software Engineering and Formal Methods (SEFM), pp.293-300, 2005.

F. Som and . Somenzi, CUDD: CU decision diagram package

L. Ben, . Titzer, K. Daniel, J. Lee, and . Palsberg, Avrora: Scalable Sensor Network Simulation with Precise Timing, 2005.

]. J. Tre94 and . Tretmans, A formal approach to conformance testing, IW- PTS, 1994.

J. Vera, L. Perrochon, and D. C. Luckham, Eventbased execution architectures for dynamic software systems, WICSA1: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1) Kluwer, B.V, pp.303-318, 1999.