A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. - Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu (CAV, 1997)