1. Ledinot E, Astruc JM, Blanquart JP, Baufreton P, Boulanger JL, Delseny H, Gassino J, Ladier G, Leeman M, Machrouh J, Qur P, Ricque B (2012) A cross-domain comparison of software development assurance standards. In: ERTS $$^{2}$$ 2 2012. http://web1.see.asso.fr/erts2012/Site/0P2RUC89/1A-3.pdf
2. Functional Safety and IEC 61508. http://www.iec.ch/functionalsafety/
3. Automotive safety integrity level. http://www.flandersdrive.be/sites/default/files/publicaties/ASIL%20-%20Public%20Results.pdf
4. Trustworthy systems engineering with goedelworks. http://www.altreonic.com/sites/default/files/SE%20with%20GoedelWorks%203_0.pdf
5. Open platform for evolutionary certification of safety-critical systems. http://www.opencoss-project.eu/