G. Olivier and H. Jerome, Expressing and enforcing user-defined constraints of AADL models, IEEE ICECCS, 2010.

M. Bozzano, R. Cavada, A. Cimatti, J. Katoen, V. Y. Nguyen et al., Formal Verification and Validation of AADL Models, 2010.

D. Cofer, A. Gacek, S. Miller, and M. Whalen, Compositional Verification of Architectural Models, 2012.
DOI : 10.1007/978-3-642-28891-3_13

B. Berthomieu, J. Bodeveix, S. Dal-zilio, P. Dissaux, M. Filali et al., Formal verification of AADL models with Fiacre and Tina, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00494348

F. Cadoret and E. Borde, Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models, Sbastien Gardoll and Laurent Pautet. International Conference on Engineering of Complex Computer Systems (ICECCS'12), p.2012

A. Olveczky and . Boronat, Formal Semantics and Analysis of behavioural AADL Models in Real-Time Maude, Jose Meseguer, and Edgar Pek, 2010.

Z. Yang, K. Hu, D. Ma, J. Bodeveix, L. Pi et al., From AADL to timed abstract state machine: a certified model transformation, Journal of System and Software, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095002

H. Ma, T. Yu, L. Gautier, P. Besnard, J. Le-guernic et al., Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013.
DOI : 10.7873/DATE.2013.244
URL : https://hal.archives-ouvertes.fr/hal-00763379

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

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, 2011.
DOI : 10.1145/1982185.1982263
URL : https://hal.archives-ouvertes.fr/inria-00536907

L. Besnard, A. Bouakaz, T. Gautier, P. Le-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
DOI : 10.1016/j.scico.2014.05.014
URL : https://hal.archives-ouvertes.fr/hal-01095010

H. Yu, Y. Ma, T. Gautier, L. Besnard, P. Le-guernic et al., Polychronous modeling, analysis, verification and simulation for timed software architectures, Journal of Systems Architecture, 2013.
DOI : 10.1016/j.sysarc.2013.08.004
URL : https://hal.archives-ouvertes.fr/hal-00916418

H. Yu, J. Talpin, L. Besnard, T. Gautier, H. Marchand et al., Polychronous controller synthesis from MARTE's CCSL constraints, ACM-IEEE Conference on Methods and Models for Codesign, 2011.

V. C. Ngo and J. , Formal Verification of Compiler Transformations on Polychronous Equations
DOI : 10.1007/978-3-642-30729-4_9
URL : https://hal.archives-ouvertes.fr/hal-00730393

J. Ouy, J. Gautier, T. Besnard, L. , L. Guernic et al., Compositional design of isochronous systems " Talpin, Science of Computer Programming, 2011.

A. Bouakaz, J. Talpin, and J. Vitek, Affine data-flow graphs for the synthesis of hard real-time applications Application of Concurrency to System Design, 2012.

J. H. Conway and H. Chapman, Regular algebra and finite machines, 1971.

P. E. Lauer, P. R. Torrigiani, and M. W. Shields, IEEE Standard for Property Specification Language (PSL) " -1850-2010 COSY a system specification language based on paths and processes, Acta Informatica v, vol.12, issue.2, 1979.

P. E. Lauer and R. H. Campbell, A description of path expressions by Petri nets, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '75, 1975.
DOI : 10.1145/512976.512987