1. Altreonic: Survey on Certification Issues,
http://www.altreonic.com/content/survey-certification-issues
(accessed May 15, 2012)
2. Altreonic: Trustworthy Systems Engineering with GoedelWorks,
http://www.altreonic.com/category/products/goedelworks
(accessed May 15, 2012)
3. Atego Workbench,
http://www.atego.com/products/atego-workbench/
(accessed May 15, 2012)
4. Bohner, S.A., Arnold, R.S.: Software Change Impact Analysis. IEEE Press (1996)
5. Briand, L., Labiche, Y., Yue, T.: Automated traceability analysis for UML model refinements. Information & Software Technology 51(2), 512–527 (2009)