, CMMI for Development, Version 1.2 -Improving processes for better products, 2006.

, IEEE Recommended Practice for Software Requirements Specifications, 1998.

G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1999.

A. Cockburn, Structuring use cases with goals, Journal of Object-Oriented Programming, 1997.

A. Cockburn, Writing Effective Use Cases, 2000.

. Do-178b, Software Considerations in Airborne Systems and Equipment Certification, 1992.

J. A. Estefan, Survey of model-based systems engineering (mbse) methodologies, Jet Propulsion, vol.25, pp.1-70, 2008.

R. Faudou, T. Faure, S. Gabel, and C. Mertz, Topcased requirement: a model driven, open-source and generic solution to manage requirement traceability, European Congress Embedded Real Time Software (ERTS), 2010.

T. Faure, A. Haugommard, and J. F. Rolland, Gendoc2, generating ODT and DOCX documents from EMF models with TOPCASED, First TOPCASED Days, 2011.

P. Gast and O. Bender, EADS GUIDELINE -using UML for software analysis and design. EADS internal paper, 2009.

M. Glinz, On non-functional requirements, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.21-26, 2007.

J. Gorman, Use cases -an introduction, pp.2011-2022, 2006.

J. Killguss, Prozessverbesserung UML. SSC internal paper, 2010.

, Unified Modeling Language: Superstructure Version 2.3. Number formal/2010-05-05, 2010.

D. Pilone, UML 2.0 in a Nutshell, 2005.

C. Rupp and . Die-sophisten, Requirements-Engineering und -Management, 2009.

C. Rupp, S. Queins, and B. Zengler, UML 2 glasklar, 2007.

R. Walter, The avionics handbook, chapter 15, 2001.