S. Aerospace, Architecture Analysis and Design Language (AADL), 2004.

B. Aldrich, A. Fehnker, P. H. Feiler, Z. Han, B. H. Krogh et al., Managing Verification Activities Using SVM, Formal Methods and Software Engineering, pp.61-75, 2004.
DOI : 10.1007/978-3-540-30482-1_13

V. Aravantinos, S. Voss, S. Teufl, F. Hölzl, and B. Schätz, Autofocus 3: Tooling concepts for seamless, model-based development of embedded systems, Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2015.

M. R. Barbacci, R. J. Ellison, A. J. Lattanze, J. A. Stafford, C. B. Weinstock et al., Quality attribute workshops (QAW), 2003.

L. Bettini, Implementing Domain-Specific Languages with Xtext and Xtend, 2013.

D. Blouin, E. Senn, and S. Turki, Defining an annex language to the architecture analysis and design language for requirements engineering activities support, 2011 Model-Driven Requirements Engineering Workshop, pp.11-20, 2011.
DOI : 10.1109/MoDRE.2011.6045362

URL : https://hal.archives-ouvertes.fr/hal-00760340

M. Brandozzi and D. E. Perry, From goal-oriented requirements to architectural prescriptions: The Preskriptor process, International Software Requirements to Architectures Workshop (STRAW), 2003.

A. Dardenne, A. Van-lamsweerde, and S. Fickas, Goal-directed requirements acquisition, Science of Computer Programming, vol.20, issue.1-2, pp.1-36, 2007.
DOI : 10.1016/0167-6423(93)90021-G

N. Ernst and G. C. Murphy, Case studies in just-in-time requirements analysis, 2012 Second IEEE International Workshop on Empirical Requirements Engineering (EmpiRE), pp.1-8, 2012.
DOI : 10.1109/EmpiRE.2012.6347678

P. Feiler, J. Goodenough, A. Gurfinkel, C. Weinstock, and L. Wrage, Four pillars for improving the quality of safety-critical software-reliant systems, 2013.

P. H. Feiler, J. Hansson, D. De-niz, and L. Wrage, System architecture virtual integration: An industrial case study, 2009.

]. A. Gacek, J. Backes, D. Cofer, K. Slind, and M. Whalen, Resolute: an assurance case language for architecture models, SIGADA Conference on High integrity language technology, pp.19-28, 2014.

P. Giorgini, P. Bresciani, F. Giunchiglia, J. Mylopoulos, and A. Perini, TROPOS: An Agent-Oriented Software Development Methodology, Autonomous Agents and Multi-Agent Systems, vol.8, pp.203-236, 2004.

M. Kersten and G. C. Murphy, Mylar, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.159-168, 2005.
DOI : 10.1145/1052898.1052912

V. Massol and T. Husted, JUnit in action, 2003.

Y. Matsuno, H. Takamura, and Y. Ishikawa, A Dependability Case Editor with Pattern Library, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.170-171, 2010.
DOI : 10.1109/HASE.2010.26

Y. Matsuno and S. Yamamoto, An implementation of GSN community standard, 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE), pp.24-28, 2013.
DOI : 10.1109/ASSURE.2013.6614267

A. Nolan, S. Abrahao, P. Clements, and A. Pickard, Managing requirements uncertainty in engine control systems development, 2011 IEEE 19th International Requirements Engineering Conference, pp.259-264, 2011.
DOI : 10.1109/RE.2011.6051622

M. Object and . Group, Structured assurance case metamodel (SACM) Specification formal/2013-02-01, 2013.

D. Redman, D. Ward, J. Chilenski, and G. Pollari, Virtual integration for improved system design: The AVSI system architecture virtual integration (SAVI) program, Analytic Virtual Integration of Cyber- Physical Systems Workshop, 31st IEEE Real-Time Systems Symposium, 2010.

N. Rungta, O. Tkachuk, S. Person, J. Biatek, M. W. Whalen et al., Helping system engineers bridge the peaks, Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014, 2014.
DOI : 10.1145/2593861.2593863

R. Singh, International standard iso/iec 12207 software life cycle processes, Software Process Improvement and Practice, pp.35-50, 1996.

A. Van-lamsweerde, From System Goals to Software Architecture, International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, pp.25-43, 2003.
DOI : 10.1007/978-3-540-39800-4_2

M. W. Whalen, A. Gacek, D. Cofer, A. Murugesan, M. P. Heimdahl et al., Your " what " is my " how " : Iteration and hierarchy in system design, IEEE Software, pp.54-60, 2013.