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 Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. 215-220 2009 ICFP http://doi.acm.org/10.1145/1596550.1596582 conf/icfp/2009 db/conf/icfp/icfp2009.html#PaganoAMCCWMC09