R. H. Thayer and M. Dofman, System and Software Requirements Engineering, 1990.

E. Hull, K. Jackson, and J. Dick, Requirements Engineering, 1995.

V. Mayank, N. Kositsyna, and M. A. Austin, Requirements Engineering and the Semantic Web. Part II. Representation, Management and Validation of Requirements and System-Level Architectures, 2004.

M. Object and . Group, The Systems Modeling Language http://www.sysml.org 5. ITEA Project Version. EAST-ADL: The EAST-EEA Architecture Description Language, 2004.

V. Debruyne, F. Simonot, and Y. Trinquet, EAST-ADL an architecture description language ? validation and verification aspects, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00100020

M. Object and . Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) Request For Proposals, 2006.

J. Boulanger, Expresion and Validation of Logical and Physical Safety Properties for Critical Systems, 2006.

E. Larronde, L. Burgaud, and E. Fourgeau, Shift towards a Cohesive Design Based Management of Automotive Embedded Systems Requirements, European Congress on Embedded Real Time Software, 2006.