1. “Cenelec EN 50128, Railway Applications – Communications, Signalling and Processing Systems - Software for Railway Control and Protection Systems”, Cenelec, 1999
2. “DO-178C/ED12C, Software considerations in airborne systems and equipment certification”, RTCA/EUROCAE, To appear
3. “CC, Common Criteria for Information Technology Security Information”, Sept. 2006 http://www.commoncriteriaportal.org/
4. “Functional safety of electrical/electronic/programmable electronic safety-related systems”, International Electrotechnical Commission, 1998
5. Virgile Prevosto, “Conception et Implantation du langage FoC pour le développement de logiciels certifiés”, PhD Thesis, Paris 6 University, September 2003