Methodology for Evaluating Aeronautical Regulations using Formal Specifications. - Eduardo Rafael López Ruiz (HASE, 2007)

Can Regulatory Bodies Expect Efficient Help from Formal Methods?. - Eduardo Rafael López Ruiz; Michel Lemoine (NASA Formal Methods, 2010)