O. Omg, System Modeling Language (SysML) Specification, version 2.1, document formal, 2008.

A. Gotel and . Finkelstein, An analysis of the requirements traceability problem, Proceedings of IEEE International Conference on Requirements Engineering, 1994.
DOI : 10.1109/ICRE.1994.292398

M. F. Bashir and M. A. Qadir, Traceability Techniques: A Critical Study INMIC '06, IEEE Multitopic Int. Conference, issue.s, pp.265-268, 2006.

P. Mason, On traceability for safety critical systems engineering, 12th Asia-Pacific Software Engineering Conference (APSEC'05), pp.272-282, 2005.
DOI : 10.1109/APSEC.2005.85

L. Murray, A. Griffiths, P. Lindsay, and P. Strooper, Requirements Traceability for embedded software-an industry experience report

B. Ramesh, C. Stubbs, T. Powers, and M. Edwards, Requirements traceability: Theory and practice, Annals of Software Engineering, vol.3, pp.397-415, 1997.
DOI : 10.1023/A:1018969401055
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.6749

A. Albinet, S. Begoc, J. Boulanger, O. Casse, I. Dal et al., The MeMVaTEx methodology: from requirements to models in automotive application design, 2008.

J. Deantoni, F. Mallet, and C. Andre, TIMESQUARE : on the formal execution of UML and DSL models Tool session of the 4 th model driven development for distributed real time systems, 2008.

M. Glinz, On Non-Functional Requirements, 15th IEEE International Requirements Engineering Conference (RE 2007), 2008.
DOI : 10.1109/RE.2007.45
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.5284

H. Dubois, F. Lakhal, and S. Gérard, The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements, 2009 Second International Workshop on Managing Requirements Knowledge, 2009.
DOI : 10.1109/MARK.2009.11

F. Mallet, M. Peraldi-frati, and C. Andre, Marte CCSL to Execute East-ADL Timing Requirements, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.17-20
DOI : 10.1109/ISORC.2009.18
URL : https://hal.archives-ouvertes.fr/inria-00383262

M. Edwards and S. L. Howell, A methodology for systems requirements specification and traceability. TR 891-584 Underwater systems department , Naval surface warfare Center, 1991.

E. Denney and B. Fischer, Software Certification and Software Certificate Management Systems, Proceedings of 2005 ASE Workshop on Software Certificate Management, pp.1-5, 2005.