C. Lelionnais, M. Brun, J. Delatour, O. H. Roux, and C. Seidner, Formal Composition Based on Roles within a Model Driven Engineering Approach, Advances in System Testing and Validation
URL : https://hal.archives-ouvertes.fr/hal-00941024

J. Miller and J. Mukerji, Model Driven Architecture (MDA) Guide, version 1.0.1, Tech. Rep, 2003.

J. C. Maeng, D. Na, Y. Lee, and M. Ryu, Model-Driven Development of RTOS-Based Embedded Software, Proceedings of the 21st International Conference on Computer and Information Sciences, ser. ISCIS'06, pp.687-696, 2006.
DOI : 10.1007/11902140_72

B. Kim, I. Lee, L. T. Phan, and O. Sokolsky, Platform dependent code generation of real-time embedded software, Proceedings of the 4 th ACM/IEEE International Conference on Cyber-Physical Systems, ser. ICCPS '13, pp.246-246, 2013.

M. Object and . Group, UML Profile for Modeling and Analysis of Real Time and Embbeded Systems (MARTE), version 1.1, Tech. Rep, 2011.

F. Thomas, S. Gérard, J. Delatour, and F. Terrier, Software Real-Time Resource Modeling, Embedded Systems Specification and Design Languages, pp.169-182, 2008.
DOI : 10.1007/978-1-4020-8297-9_12

J. Kim, I. Kang, J. Choi, I. Lee, and S. Kang, Formal synthesis of application and platform behaviors of embedded software systems, Software & Systems Modeling, vol.38, issue.1, pp.1-21, 2013.
DOI : 10.1007/s10270-013-0342-8

A. Pinto, Metropolis Design Guidelines University of California, Rep, 2004.

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

E. A. Lee, Overview of the Ptolemy Project, EECS Department, vol.25, 2003.

M. Brun, Contribution to the Software Execution Platform Integration during an Application Deployment Process, 2010.

M. Brun and J. Delatour, Contribution on the Software Execution Platform Integration During an Application Deployment Process, First Topcased Day, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01179760

C. Lelionnais, M. Brun, J. Delatour, O. H. Roux, and C. Seidner, Formal Behavioral Modeling of Real-Time Operating Systems, 14 th Int. Conf. Ent. Information Systems -Model Driven Development for Information Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01093794

F. Thomas, J. Delatour, F. Terrier, and S. Gerard, Towards a Framework for Explicit Platform-Based Transformations, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.211-218, 2008.
DOI : 10.1109/ISORC.2008.64

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

. Windriver, VxWORKS Programmer's Guide, version 6.9, Tech. Rep, 2011.

P. M. Merlin, A Study of the Recoverability of Computing Systems, p.7511026, 1974.

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

F. Ta¨?anita¨?ani, M. Paludetto, and J. Delatour, Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear Logic, Proceedings of the 4 th IEEE International Symposium on Object-Oriented Real- Time Distributed Computing, pp.2001-298, 2001.

F. Peres, B. Berthomieu, and F. Vernadat, On the composition of time Petri nets, Discrete Event Dynamic Systems, pp.395-424, 2011.
DOI : 10.1007/s10626-011-0102-2

C. A. Petri, Kommunikation mit Automaten, 1962.

G. Bucci, A. Fedeli, L. Sassoli, and E. Vicario, Timed state space analysis of real-time preemptive systems, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.97-111, 2004.
DOI : 10.1109/TSE.2004.1265815

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

A. Jovanovi´cjovanovi´c, D. Lime, and O. H. Roux, Integer Parameter Synthesis for Timed Automata, 19 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), ser. Lecture Notes in Computer Science, pp.401-415, 2013.

D. Lime and O. H. Roux, Formal verification of real-time systems with??preemptive scheduling, Real-Time Systems, vol.36, issue.7, pp.118-151, 2009.
DOI : 10.1007/s11241-008-9059-0
URL : https://hal.archives-ouvertes.fr/hal-00453476