System and Software Requirements Engineering, 1990. ,
Requirements Engineering, 1995. ,
Requirements Engineering and the Semantic Web. Part II. Representation, Management and Validation of Requirements and System-Level Architectures, 2004. ,
The Systems Modeling Language http://www.sysml.org 5. ITEA Project Version. EAST-ADL: The EAST-EEA Architecture Description Language, 2004. ,
EAST-ADL an architecture description language ? validation and verification aspects, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00100020
UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) Request For Proposals, 2006. ,
Expresion and Validation of Logical and Physical Safety Properties for Critical Systems, 2006. ,
Shift towards a Cohesive Design Based Management of Automotive Embedded Systems Requirements, European Congress on Embedded Real Time Software, 2006. ,