B. Berthomieu, J. Bodeveix, S. Dal-zilio, P. Dissaux, M. Filali et al., Formal Verification of AADL models with Fiacre and Tina, ERTSS 2010 -Embedded Real-Time Software and Systems, pp.1-9, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00494348

L. Besnard, E. Borde, P. Dissaux, T. Gautier, P. L. Guernic et al., Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00970244

L. Besnard, A. Bouakaz, T. Gautier, P. L. Guernic, Y. Ma et al., Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony, Science of Computer Programming, vol.106, pp.54-77, 2015.
DOI : 10.1016/j.scico.2014.05.014

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

E. Borde, S. Rahmoun, F. Cadoret, L. Pautet, F. Singhoff et al., Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014.
DOI : 10.1109/RSP.2014.6966691

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

M. Bozzano, R. Cavada, A. Cimatti, J. Katoen, T. Viet-yen-nguyen et al., Formal verification and validation of AADL models, Proc. of Embedded Real Time Software and Systems Conference, 2010.

D. Cofer, A. Gacek, S. Miller, M. W. Whalen, B. Lavalley et al., Compositional Verification of Architectural Models, Proceedings of the 4th International Conference on NASA Formal Methods, NFM'12, pp.126-140, 2012.
DOI : 10.1007/978-3-642-28891-3_13

O. Gilles and J. Hugues, Expressing and Enforcing User-Defined Constraints of AADL Models, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.337-342, 2010.
DOI : 10.1109/ICECCS.2010.26

B. R. Larson, P. Chalin, and J. Hatcliff, BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, Proceedings of the 2013 NASA Formal Methods Conference, pp.276-290, 2013.
DOI : 10.1007/978-3-642-38088-4_19

B. R. Larson, Y. Zhang, S. Barrett, J. Hatcliff, and P. L. Jones, Enabling Safe Interoperation by Medical Device Virtual Integration, IEEE Design & Test, vol.32, issue.5, 2015.
DOI : 10.1109/MDAT.2015.2464813

T. Paul-le-guernic, J. Gautier, L. Talpin, and . Besnard, Polychronous Automata, TASE 2015, 9th International Symposium on Theoretical Aspects of Software Engineering, pp.95-102, 2015.

Y. Ma, H. Yu, T. Gautier, J. Talpin, L. Besnard et al., System synthesis from AADL using Polychrony, 2011 Electronic System Level Synthesis Conference (ESLsyn), 2011.
DOI : 10.1109/ESLsyn.2011.5952285

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

F. Mallet, J. Deantoni, C. André, R. , and S. , The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010.
DOI : 10.1007/s11334-009-0109-0

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

A. Peter-csabä-olveczky, J. Boronat, and . Meseguer, Formal semantics and analysis of behavioral aadl models in real-time maude, Proceedings of the 12th IFIP WG 6.1 International Conference and 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, pp.47-62, 2010.

B. Selic and S. Gérard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems, 2013.

M. Skoldstam, K. Akesson, and M. Fabian, Modeling of discrete event systems using finite automata with variables, 2007 46th IEEE Conference on Decision and Control, pp.3387-3392, 2007.
DOI : 10.1109/CDC.2007.4434894

. Wikipedia, Autonomous cruise control system ? wikipedia, the free encyclopedia, 2015. [Online; accessed 26, 2015.

Z. Yang, K. Hu, J. Bodeveix, L. Pi, D. Ma et al., Two Formal Semantics of a Subset of the AADL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.27-29, 2011.
DOI : 10.1109/ICECCS.2011.41

H. Yu, Y. Ma, T. Gautier, L. Besnard, P. L. Guernic et al., Polychronous modeling, analysis, verification and simulation for timed software architectures, Journal of Systems Architecture, vol.59, issue.10, pp.591157-1170, 2013.
DOI : 10.1016/j.sysarc.2013.08.004

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

H. Yu, Y. Ma, T. Gautier, L. Besnard, J. Talpin et al., Exploring system architectures in AADL via Polychrony and SynDEx, Frontiers of Computer Science, vol.38, issue.2, pp.627-649, 2013.
DOI : 10.1007/s11704-013-2307-z

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

H. Yu, Y. Ma, Y. Glouche, J. Talpin, L. Besnard et al., System-level co-simulation of integrated avionics using polychrony, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.354-359, 2011.
DOI : 10.1145/1982185.1982263

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