Proof of properties in avionics. - Jean Souyris; Denis Favre-Felix (IFIP Congress Topical Sessions, 2004)

Towards Formally Verified Optimizing Compilation in Flight Control Software. - Ricardo Bedin França; Denis Favre-Felix; Xavier Leroy; Marc Pantel; Jean Souyris (PPES, 2011)