H. Blom, R. Johansson, and H. Lönn, Annotation with Timing Constraints in the Context of EAST-ADL2 and AUTOSAR -the Timing Augmented Description Language. STANDRTS'09 at ECRTS, 2009.

E. Project, EAST_ADL2 Specification

, AUTOSAR AUTomotive Open System Architecture

. Atesst2-project, . Strep, . Ict, and . Transport, , 2008.

, OMG UML Profile for Modeling and Analysis of Real-time and Embedded Systems, MARTE V1.0. Object, 2009.

. Omg, Systems Modeling Language (SysML) Specification 1.1. Object Management Group, 2008.

C. André, Syntax and semantics of the clock constraint specication language, INRIA, 2009.

, IEEE P1850 -Standard for PSL -Property Specification Language Homepage, 2011.

, TimeSquare Model Development Kit

. Maenad-fp7,