Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.