1. The B-Book
2. Ada Resource Association Operating Procedures for Ada Conformity Assessments, version 3.0 www.ada-auth.org/procs/3.0/ACAP30.pdf 2001
3. AFNOR EN 50155, Railway applications - Electronic equipment used on rolling stock 2007
4. AFNOR NF F 71-013 Installation fixe et matériel roulant ferroviaires, Informatique, Sûreté de fonctionnement des logiciels - Méthodes appropriées aux analyses de sécurité des logiciels 1990
5. Trois méthodes pour déterminer le niveau de sécurité;Ahmed;Revue Mesure,2009