H. Kopetz, Real-Time Systems -Design Principles for Distributed Embedded Applications. Real-Time Systems Series, pp.978-979, 2011.

Y. Joung, A. Scott, and . Smolka, A comprehensive study of the complexity of multiparty interaction, Journal of the ACM, vol.43, issue.1, pp.75-115, 1996.
DOI : 10.1145/227595.227601

G. Coulouris, J. Dollimore, and T. Kindberg, Distributed systems -concepts and designs (3 International computer science series, 2002.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

M. Maróti, B. Kusy, G. Simon, and . Lédeczi, The flooding time synchronization protocol, Proceedings of the 2nd international conference on Embedded networked sensor systems, pp.39-49, 2004.

K. Lee, C. John, H. Eidson, D. Weibel, and . Mohl, Ieee 1588-standard for a precision clock synchronization protocol for networked measurement and control systems, Conference on IEEE, 2005.

K. M. Chandy and J. Misra, Parallel Program Design, 1988.
DOI : 10.1007/978-1-4613-9668-0_6

R. Bagrodia, A distributed algorithm to implement n-party rendevouz, Foundations of Software Technology and Theoretical Computer Science, Seventh Conference (FSTTCS), pp.138-152, 1987.

R. Bagrodia, Process synchronization: design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering, vol.15, issue.9, pp.1053-1065, 1989.
DOI : 10.1109/32.31364

K. M. Chandy and J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

K. , M. Chandy, and J. Misra, Parallel program design -a foundation, 1989.

M. Jurdzinski, Small Progress Measures for Solving Parity Games, Symposium on Theoretical Aspects of Computer Science (STACS), pp.290-301, 2000.
DOI : 10.1007/3-540-46541-3_24

D. Kumar, An implementation of N-party synchronization using tokens, Proceedings.,10th International Conference on Distributed Computing Systems, pp.320-327, 1990.
DOI : 10.1109/ICDCS.1990.89299

J. Parrow and P. Sjödin, Multiway synchronizaton verified with coupled simulation, International Conference on Concurrency Theory (CONCUR), pp.518-533, 1992.
DOI : 10.1007/bfb0084813

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

A. José, R. Pérez, M. Corchuelo, and . Toro, An order-based algorithm for implementing multiparty synchronization. Concurrency and Computation: Practice and Experience, pp.1173-1206, 2004.

O. Babaoglu, On the reliability of consensus-based fault-tolerant distributed computing systems, ACM Transactions on Computer Systems, vol.5, issue.4, 1987.
DOI : 10.1145/29868.31332

H. Kopetz, Time-triggered real-time computing, Annual Reviews in Control, vol.27, issue.1, pp.3-13, 2003.
DOI : 10.1016/S1367-5788(03)00002-6

C. Es and V. David, A method and a technique to model and ensure timeliness in safety critical real-time systems, 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98, pp.10-14, 1998.

A. Ghosal, T. A. Henzinger, C. M. Kirsch, and M. A. Sanvido, Event-driven programming with logical execution times In Hybrid Systems: Computation and Control, 7th International Workshop, Proceedings, pp.357-371978, 2004.

T. A. Henzinger, B. Horowitz, and C. M. Kirsch, Giotto: a timetriggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003.

D. Chabrol, V. David, C. , S. Louise, and F. Daumas, Deterministic distributed safety-critical real-time systems within the oasis approach, International Conference on Parallel and Distributed Computing Systems, PDCS 2005, pp.260-268, 2005.

V. David, J. Delcoigne, E. Leret, A. Ourghanlian, P. Hilsenkopf et al., Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems, 17th International Conference, SAFECOMP'98 Proceedings, pp.45-59, 1998.
DOI : 10.1007/3-540-49646-7_4

S. Louise and V. David, Jean Delcoigne, and ChristopheAussagù es. OASIS project: deterministic real-time for safety critical embedded systems, Proceedings References 197

S. Louise, M. Lemerre, C. , and V. David, The OASIS Kernel: A Framework for High Dependability Real-Time Systems, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp.95-103, 2011.
DOI : 10.1109/HASE.2011.38

C. Laung, L. James, and W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM (JACM), vol.20, issue.1, pp.46-61, 1973.

J. Mathieu-jan, V. Camier, and . David, The oasis-d transparent approach for safety-critical distributed real-time systems

J. Mathieu-jan, V. Camier, and . David, Scheduling safety-critical realtime bus accesses using time-constrained automata, RTNS, pp.87-96, 2011.

D. Chabrol and V. David, ChristopheAussagù es, Stéphane Louise, and Frédéric Daumas Deterministic distributed safety-critical real-time systems within the oasis approach, IASTED PDCS, pp.260-268, 2005.

D. David, F. Falconer, B. Adachi, and . Gudmundson, Time division multiple access methods for wireless personal communications, Communications Magazine IEEE, vol.33, issue.1, pp.50-57, 1995.

D. B. Stewart, R. Volpe, and P. K. Khosla, Design of dynamically reconfigurable real-time software using port-based objects, IEEE Transactions on Software Engineering, vol.23, issue.12, pp.759-776, 1997.
DOI : 10.1109/32.637390

L. D. Molesky, C. Shen, and G. Zlokapa, Predictable synchronization mechanisms for multiprocessor real-time systems, Real-Time Systems, vol.2, issue.3, pp.163-180, 1990.
DOI : 10.1007/BF00365325

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

J. Lunze and D. Lehmann, A state-feedback approach to event-based control, Automatica, vol.46, issue.1, pp.211-215, 2010.
DOI : 10.1016/j.automatica.2009.10.035

A. Edward, I. Lee, and . John, Overview of the ptolemy project, 1999.

S. Tsang and E. Magill, Detecting feature interactions in the intelligent network. Feature Interactions in Telecommunications Systems II, 1994.

J. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, Distributed Real-Time Software for Cyber–Physical Systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012.
DOI : 10.1109/JPROC.2011.2161237

A. Edward and . Lee, Modeling concurrent real-time processes using discrete events, Annals of Software Engineering, vol.7, issue.1-4, pp.25-45, 1999.

P. Derler, A. Edward, S. Lee, and . Matic, Simulation and Implementation of the PTIDES Programming Model, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, pp.330-333, 2008.
DOI : 10.1109/DS-RT.2008.51

Y. Zhao, J. Liu, A. Edward, and . Lee, A Programming Model for Time-Synchronized Distributed Real-Time Systems, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), pp.259-268, 2007.
DOI : 10.1109/RTAS.2007.5

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

N. Halbwachs, About synchronous programming and abstract interpretation, Science of Computer Programming, vol.31, issue.1, pp.75-89, 1998.
DOI : 10.1016/S0167-6423(96)00041-X

URL : http://dx.doi.org/10.1016/s0167-6423(96)00041-x

N. Halbwachs, Synchronous programming of reactive systems, Computer Aided Verification, 10th International Conference, CAV '98 Proceedings, pp.1-16, 1998.

N. Halbwachs, About synchronous programming and abstract interpretation, SAS, pp.179-192, 1994.
DOI : 10.1007/3-540-58485-4_40

URL : http://dx.doi.org/10.1016/s0167-6423(96)00041-x

N. Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth International Conference on Computer-Aided Verification , CAV'98, 1998.

N. Feiertag, K. Richter, J. Nordlander, and J. Jonsson, A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2008.

G. Berry and G. Gonthier, The esterel synchronous programming language: Design, semantics, implementation. Science of computer programming, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

D. Pilaud, J. Halbwachs, and . Plaice, Lustre: A declarative language for programming synchronous systems, Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, p.188, 1987.

C. Sofronis, Embedded Code Generation from High-level Heterogeneous Components, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00329534

S. Taha, A. Radermacher, S. Gérard, and J. Dekeyser, MARTE: uml-based hardware design from modelling to simulation In Forum on specification and Design Languages, pp.274-279, 2007.

S. Demathieu, F. Thomas, and C. André, Sébastien Gérard, and François Terrier. First experiments using the uml profile for marte, Object Oriented Real- Time Distributed Computing (ISORC) 11th IEEE International Symposium on, pp.50-57, 2008.

A. Wendell-de-oliveira-rodrigues, G. Frédéric, and J. Dekeyser, An mde approach for automatic code generation from marte to opencl, 2011.

A. Edward, A. Lee, and . Sangiovanni-vincentelli, A framework for comparing models of computation. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.17, issue.12, pp.1217-1229, 1998.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

H. Yu, J. Talpin, L. Besnard, T. Gautier, F. Mallet et al., Polychronous Analysis of Timing Constraints in UML MARTE, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp.145-151, 2010.
DOI : 10.1109/ISORCW.2010.10

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

C. André, F. Mallet, and R. Simone, Modeling time (s) In Model Driven Engineering Languages and Systems, pp.559-573, 2007.

H. Peter, . Feiler, P. David, J. J. Gluch, and . Hudak, The architecture analysis & design language (aadl): An introduction, 2006.

Z. Yang, K. Hu, D. Ma, J. Bodeveix, L. Pi et al., From AADL to Timed Abstract State Machines: A verified model transformation, Journal of Systems and Software, vol.93, pp.42-68, 2014.
DOI : 10.1016/j.jss.2014.02.058

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

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

J. Antonio-pérez, R. Corchuelo, and M. Toro, An order-based algorithm for implementing multiparty synchronization. Concurrency -Practice and Experience, pp.1173-1206, 2004.

L. Astefanoaei, S. Souha-ben-rayana, M. Bensalem, J. Bozga, and . Combaz, Compositional invariant generation for timed systems, TACAS, pp.263-278, 2014.

J. Sifakis, A framework for component-based construction extended abstract, SEFM, pp.293-300, 2005.

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

J. Sifakis, Component-Based Construction of Real-Time Systems in BIP, CAV, pp.33-34, 2009.
DOI : 10.1007/978-3-642-02658-4_4

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, Concurrency Theory (CONCUR), pp.508-522, 2008.
DOI : 10.1007/978-3-540-85361-9_39

R. Alur and D. Dill, Automata for modeling real-time systems, ICALP, 1990.
DOI : 10.1007/BFb0032042

R. Alur and D. L. Dill, The theory of timed automata, REX Workshop, pp.45-73, 1991.

S. Tripakis, Verifying Progress in Timed Systems, Lecture Notes in Computer Science, vol.1601, pp.299-314, 1999.
DOI : 10.1007/3-540-48778-6_18

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.
DOI : 10.1109/5.24143

M. Droste and R. Shortt, From petri nets to automata with concurrency Applied Categorical Structures, pp.173-191, 2002.

S. Bliudze and J. Sifakis, Causal semantics for the algebra of connectors, Formal Methods for Components and Objects (FMCO), pp.179-199, 2007.

M. Jaber, Implémentations Centralisée et Répartie de Systèmes Corrects par constructionáconstruction´constructioná base des Composants par Transformations Source-´ a-source dans BIP, 2010.

M. Bozga, M. Jaber, and J. Sifakis, Source-to-source architecture transformation for performance optimization in BIP, Symposium on Industrial Embedded Systems (SIES), pp.152-160, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00722520

A. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15

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

R. Milner, Communication and concurrency, 1995.

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

T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.229-238, 2010.
DOI : 10.1145/1879021.1879052

J. Combaz, A. Triki, and B. Bonakdarpoor, Automated conflict-free concurrent implementation of timed component-based models

K. G. Larsen, P. Pattersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.298-302, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

A. Thomas, X. Henzinger, J. Nicollin, S. Sifakis, and . Yovine, Symbolic model checking for real-time systems, Information and computation, vol.111, issue.2, pp.193-244, 1994.

S. Bensalem, M. Bozga, J. Sifakis, and T. Nguyen, Compositional verification for component-based systems and application, ATVA, pp.64-79, 2008.
DOI : 10.1049/iet-sen.2009.0011

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

R. Tool, http://www-verimag.imag.fr/RTD-Finder.html?lang=. Accessed, pp.2015-2019

T. Abdellatif, J. Combaz, and J. Sifakis, Rigorous implementation of real-time systems ??? from theory to application, Mathematical Structures in Computer Science, vol.16, issue.04, pp.882-914, 2013.
DOI : 10.1007/BFb0028726

M. Bozga, V. Sfyrla, and J. Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.77-86, 2009.
DOI : 10.1145/1629335.1629347

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

V. Sfyrla, G. Tsiligiannis, I. Safaka, M. Bozga, and J. Sifakis, Compositional translation of simulink models into synchronous BIP, International Symposium on Industrial Embedded System (SIES), pp.217-220, 2010.
DOI : 10.1109/SIES.2010.5551374

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

V. Sfyrla, Modeling Synchronous Systems in BIP, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722479

A. Mohamed-yassin-chkouri, M. Robert, J. Bozga, and . Sifakis, Translating aadl into bip -application to the verification of real-time systems, MoDELS Workshops, pp.5-19, 2008.

A. Basu, L. Mounier, J. Marcpoulhì-es, J. Pulou, and . Sifakis, Using bip for modeling and verification of networked systems ? a case study on tinyosbased networks, NCA, pp.257-260, 2007.

P. Bourgos, A. Basu, M. Bozga, S. Bensalem, J. Sifakis et al., Rigorous system level modeling and analysis of mixed HW/SW systems, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), pp.11-20, 2011.
DOI : 10.1109/MEMCOD.2011.5970506

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

T. H. Nguyen, S. Bensalem, M. Bozga, and J. Sifakis, D-finder: A tool for compositional deadlock detection and verification, Computer Aided Verification (CAV), pp.614-619, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00722550

S. Bensalem, M. Bozga, J. Combaz, and A. Triki, Rigorous system design flow for autonomous systems In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change -6th International Symposium, Proceedings, Part I, pp.184-198, 2014.

S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, pp.327-341, 2012.
DOI : 10.1007/978-3-642-34026-0_25

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

B. Bonakdarpour, M. Bozga, and J. Quilbeuf, Model-based implementation of distributed systems with priorities. Design Autom. for Emb. Sys, pp.251-276, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00878023

A. Triki, J. Combaz, S. Bensalem, and J. Sifakis, Model-Based Implementation of Parallel Real-Time Systems, Fundamental Approaches to Software Engineering, pp.235-249, 2013.
DOI : 10.1007/978-3-642-37057-1_18

M. Bonani, V. Longchamp, S. Magnenat, P. Rétornaz, D. Burnier et al., The marxbot, a miniature mobile robot opening new perspectives for the collectiverobotic research, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.4187-4193, 2010.

S. Magnenat, B. Noris, and F. Mondada, Aseba-Challenge: An Open-Source Multiplayer Introduction to Mobile Robots Programming, Fun and Games, Second International Conference, pp.65-74, 2008.
DOI : 10.1145/563340.563345

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

H. S. Malvar, L. He, and R. Cutler, High-quality linear interpolation for demosaicing of Bayer-patterned color images, 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2004.
DOI : 10.1109/ICASSP.2004.1326587

L. Martin-de-wulf, J. Doyen, and . Raskin, Systematic implementation of real-time models, FM 2005: Formal Methods, pp.139-156, 2005.

K. Sanjoy, V. Baruah, . Bonifaci, D. Gianlorenzo, A. Angelo et al., Mixed-criticality scheduling of sporadic task systems, Algorithms?ESA 2011, pp.555-566, 2011.

T. Abdellatif, Rigorous Implementation of Real-Time Systems, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00744508

S. Bornot and J. Sifakis, An Algebraic Framework for Urgency, Information and Computation, vol.163, issue.1, pp.172-202, 2000.
DOI : 10.1006/inco.2000.2999

S. Bornot, J. Sifakis, and S. Tripakis, Modeling Urgency in Timed Systems, In COMPOS, pp.103-129, 1997.
DOI : 10.1007/3-540-49213-5_5