B. Selic, A Systematic Approach to Domain-Specific Language Design Using UML ISORC'07, Proceedings of the 10 th IEEE International Symposium on Object and Component- Oriented Real-Time Distributed Computing, pp.2-9, 2007.

H. Störrle, Semantics and Verification of Data Flow in UML 2.0 Activities, Electronic Notes in Theoretical Computer Science, vol.127, issue.4, pp.35-52, 2005.
DOI : 10.1016/j.entcs.2004.08.046

J. P. Lopez-grao, J. Merseguer, and J. Campos, From UML Activity Diagrams To Stochastic Petri Nets, Proc. Int. Workshop on Software and Performance, pp.25-36, 2004.

F. Mallet, M. Peraldi, and C. André, From UML to Petri Nets for non functional Property Verification, 2006 International Symposium on Industrial Embedded Systems, pp.0-7803, 2006.
DOI : 10.1109/IES.2006.357475

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

C. Hardebolle and F. Boulanger, ModHel???X: A Component-Oriented Approach to Multi-Formalism Modeling, Proc. of the 4 th Workshop on Multi-Paradigm Modeling (MPM'07) at MoDELS, pp.49-60, 2007.
DOI : 10.1007/978-3-540-69073-3_26

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

F. A. Schreiber, Is time a real time? An overview of time ontology in informatics. Real-Time Computing, pp.283-307, 1994.

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

C. André, F. Mallet, and R. De-simone, Modeling Time(s), Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML), pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

M. Woodside, From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. Formal Methods for Performance Evaluation, 7th Int. School on Formal Methods (SFM'07) for the Design of Computer, Communication, andd Software Systems, LNCS, vol.4486, 2007.