Certified Development Tools Implementation in Objective Caml. - Bruno Pagano; Olivier Andrieu; Benjamin Canou; Emmanuel Chailloux; Jean-Louis Colaço; Thomas Moniot; Philippe Wang (PADL, 2008)

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. - Bruno Pagano; Olivier Andrieu; Thomas Moniot; Benjamin Canou; Emmanuel Chailloux; Philippe Wang; Pascal Manoury; Jean-Louis Colaço (ICFP, 2009)