1. Abrial, J.-R.: Modeling in Event-B System and Software Design. Cambridge University Press, Cambridge (2010)
2. Ambler, S.: Tracing your design. Dr. Dobb’s J. World Softw. Dev. (1999). http://www.drdobbs.com/tracing-your-design/184415675 . Accessed 08 Apr 2016)
3. Ambler, S.: Agile Requirements best practices. In: Agile Modeling (2014) http://www.agilemodeling.com/essays/agileRequirementsBestPractices.htm . Accessed 08 Apr 2016
4. University of Milan: “Asmeta”. http://asmeta.sourceforge.net/ . Accessed 31 Mar 2017
5. Automotive SIG. VDA QMC Working Group 13: Automotive SPICE Process As-sessment/Reference Model, v3.0 (2015). http://www.automotivespice.com/fileadmin/software-download/Automotive_SPICE_PAM_30.pdf . Accessed 08 Apr 2016