M. Peraldi-frati, A. Goknil, J. Deantoni, and J. Nordlander, A timing language for specifying multi clock automotive systems: The timing augmented description language v2, ICECCS'12, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00687562

M. Peraldi-frati, A. Goknil, M. Adedjouma, and P. Y. Gueguen, Modeling a BSG-E Automotive System with the Timing Augmented Description Language, ISoLA, issue.2, pp.2012-111
DOI : 10.1007/978-3-642-34032-1_14
URL : https://hal.archives-ouvertes.fr/hal-00757185

O. and U. Profile, Object Management Group, pp.2009-2020, 2009.

C. André, F. Mallet, and R. De-simone, Modeling time(s), " in MoDELS'07, pp.559-573, 2007.

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

O. and O. Constraint-language, Available: http://www.omg.org/spec

R. Dvorak, Model transformation with operational qvt, EclipseCon'08, 2008.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, TOOLS (50), 2012, pp.34-41
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

T. East and -. Project, Definition of language for automotive embedded electronic approach, technical report, itea. [Online] Available: http://timmo-2-use.org, www-sop.inria.fr/members/Arda.Goknil/BBW2- tadl2.pdf) BBW Spec in TADL2, 2004.

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009.

L. Yin, F. Mallet, and J. Liu, Verification of MARTE/CCSL Time Requirements in Promela/SPIN, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.65-74, 2011.
DOI : 10.1109/ICECCS.2011.14
URL : https://hal.archives-ouvertes.fr/hal-00650621

F. Klein and H. Giese, Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams, FASE'07, pp.185-199, 2007.
DOI : 10.1007/978-3-540-71289-3_16

A. Alfonso, V. A. Braberman, N. Kicillof, and A. Olivero, Visual timed event scenarios, Proceedings. 26th International Conference on Software Engineering, pp.168-177, 2004.
DOI : 10.1109/ICSE.2004.1317439

S. Zschaler, Formal specification of non-functional properties of component-based software systems, Software and Systems Modeling, pp.161-201, 2010.
DOI : 10.1007/s10270-009-0115-6

T. N. Qureshi, D. Chen, and M. Törngren, A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications, ECMFA'12, pp.303-318, 2012.
DOI : 10.1007/978-3-642-31491-9_23

E. Kang, P. Schobbens, and P. Pettersson, Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT, SAFECOMP'11, pp.243-256, 2011.
DOI : 10.1007/978-3-642-13238-4_4

E. P. Enoiu, R. Marinescu, C. Seceleanu, and P. Pettersson, Vital : A verification tool for east-adl models using uppaal port, ICECCS'12, 2012.