S. C. Bailin, An object-oriented requirements specifications method, Communications of the ACM, vol.32, issue.5, 1989.
DOI : 10.1145/63485.63491

F. Bernin, M. Lundell, and O. Lundkvist, Automotive System Case Study, Deliverable D1.1 PUSSEE, 2000.

M. Conrad, Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien, 2004.
DOI : 10.1007/978-3-322-81246-9

J. Grossmann, M. Conrad, I. Fey, A. Krupp, K. Lamberg et al., TestML - A Test Exchange Language for Model-Based Testing of Embedded Software, Automotive Software Workshop '06, 2006.
DOI : 10.1007/978-3-540-70930-5_7

M. Grochtmann and K. Grimm, Software Testing, Verification and Reliability: Classification Trees for Partition Testing, 2006.

I. Std, 1800-2005 -Standard for SystemVerilog Unified Hardware Design, Specification and Verification Language, 2005.

I. Std, 1850-2005 -IEEE Standard for Property Specification Language (PSL), 2005.

I. Std, 1647-2006 -The Functional Verification Language 'e', 2006.

A. Krupp, Verification Plan for Systematic Verification of Mechatronic Systems, 2008.

J. Offutt and A. Abdurazik, Generating Tests from UML Specifications, Proc. of UML99, 1999.
DOI : 10.1007/3-540-46852-8_30

T. J. Ostrand and M. J. Balcer, The Category-Partition Method for Specifying and Generating Functional Tests, 1988.

I. Schieferdecker, Z. R. Dai, J. Grabowski, and A. Rennoch, The UML 2.0 Testing Profile and its Relation to, Proc. of TestCom2003, 2003.