. Sysml-submission and . Team, Systems Modeling Language (SysML) Specification. V 0.98 " . OMG document ad/2005-11-01, 2005.

S. Partners, Systems Modeling Language (SysML) Specification " . v 1.0.alpha. OMG document ad/2005-11-05, 2005.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le-guernic et al., The synchronous languages 12 years later, Proc. of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

B. Selic, On the Semantic Foundations of Standard UML 2.0, SFM-RT 2004, pp.181-199, 2004.
DOI : 10.1007/978-3-540-30080-9_6

T. Clark, A. Evans, S. Kent, S. Brodsky, and S. Cook, A feasibility Study inRearchitecting UML as a Family of Languages using a Precise OO Meta-Modelling Approach, 2000.

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

L. Apvrille, J. Courtiat, C. Lohr, and P. De-saqui-sannes, TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit, IEEE Transactions on Software Engineering, vol.30, issue.7, pp.473-487, 2004.
DOI : 10.1109/TSE.2004.34

. Profile-for-schedulability and T. Performance, OMG document formal UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP " , OMG Document, 2005.

L. Cai and D. Gajski, Transaction Level Modeling: An Overview, Proceedings of the International Conference on Hardware/Software Codesign & System Synthesis, 2003.
DOI : 10.1109/codess.2003.1275250

T. Grandpierre and Y. Sorel, From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003.
DOI : 10.1109/MEMCOD.2003.1210097

R. De-simone and C. André, Towards a Synchronous Reactive UML subprofile?, International Journal on Software Tools for Technology Transfer (STTT), pp.1433-2779, 2005.

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, pp.2741-2756, 2004.
DOI : 10.1137/0216062

J. Billington, S. Christensen, K. Van-hee, E. Kindler, O. Kummer et al., The Petri Net Markup Language: Concepts, Technology, and Tools Polychrony for system design, Journal of Circuits Systems and Computers, vol.12, issue.3, pp.261-304, 2003.