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

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004.
DOI : 10.1137/0216062

M. Boyer and O. H. Roux, On the compared expressiveness of arc, place and transition time Petri nets, Fundamenta Informaticae, vol.88, issue.3, pp.225-249, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00489072

M. Brun and J. Delatour, Contribution on the software execution platform integration during an application deployment process, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01179760

J. Davis, GME, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.82-83, 2003.
DOI : 10.1145/949344.949360

. Roméo, A tool for analyzing time Petri nets, 17th International Conference on Computer Aided Verification (CAV'05), pp.418-423

E. A. Lee, Overview of the Ptolemy project, 2003.

D. Lime, O. H. Roux, C. Seidner, and L. Traonouez, Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems NXTOSEK Operating System, version 2.10, pp.54-57, 2009.
DOI : 10.1007/11513988_41

O. Group, OSEK/VDX Operating System Specification, version 2.2.3, 2005.

X. Renault, F. Kordon, and J. Hugues, From AADL Architectural Models to Petri Nets: Checking Model Viability, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.313-320, 2009.
DOI : 10.1109/ISORC.2009.11
URL : https://hal.archives-ouvertes.fr/hal-01298276

M. P. Team, The metropolis meta model -version 0.4, 2004.

F. Thomas, S. Grard, J. Delatour, and F. Terrier, Embedded Systems Specification and Design Languages , Selected Contributions from FDL'07, volume Embedded Systems Specification and Design Languages of FDL selected papers, chapter Software Real-Time Resource Modeling, pp.169-182, 2008.

T. Vergnaud and B. Zalila, Ocarina, a compiler for the AADL, 2006.