P. Traverse, I. Lacaze, and J. Souyris, Airbus fly-by-wire: A total approach to dependability, Building the Information Society, pp.191-212, 2004.

S. Miller, D. Cofer, L. Sha, J. Meseguer, and A. Al-nayeem, Implementing logical synchrony in integrated modular avionics, Digital Avionics Systems Conference, IEEE/AIAA 28th, 2009.

A. Gamatié, C. Brunette, R. Delamare, T. Gautier, and J. Talpin, A modeling paradigm for integrated modular avionics design, Soft. Engineering and Advanced Applications, 32nd EUROMICRO Conference on, pp.134-143, 2006.

, ARINC specification 429-ALL: Mark 33 Digital Information Transfer System Parts, Aeronautical Radio Inc, 2001.

, Aircraft Data Network, Part 1: Systems Concepts and Overview, vol.664, 2002.

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an intermediate language for model verification in the TOPCASED environment, Embedded and Real-Time Software, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

F. Vernadat, C. Percebois, P. Farail, R. Vingerhoeds, A. Rossignol et al., The TOPCASED ProjectA Toolkit in OPen-source for Critical Applications and SystEm Development, Data Systems In Aerospace (DASIA), 2006.

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINAconstruction of abstract state spaces for Petri nets and time Petri nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, Cadp 2010: a toolbox for the construction and analysis of distributed processes, Tools and Algorithms for the Construction and Analysis of Systems, pp.372-387, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00583776

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

S. Rangra and E. Gaudin, SDL to Fiacre translation, Embedded Real-Time Software and Systems, 2014.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, International Conference on Software Engineering, pp.411-420, 1999.

N. Abid, S. Dal-zilio, and D. Botlan, Real-time specification patterns and tools, Formal Methods for Industrial Critical Systems, Springer LNCS 7437, pp.1-15, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00782649