Hybrid theorem proving of aerospace systems: Applications and challenges

@ARTICLE{DBLP:journals/jais/GhorbalJZPGC14,
	pdf = {https://hal.archives-ouvertes.fr/hal-01660905/document},

  author    = {Khalil Ghorbal and
               Jean{-}Baptiste Jeannin and
               Erik P. Zawadzki and
               Andr{\'e} Platzer and
               Geoffrey J. Gordon and
               Peter Capell},
  title     = {Hybrid Theorem Proving of Aerospace Systems:
               Applications and Challenges},
  journal   = {Journal of Aerospace Information Systems},
  volume    = {11},
  number    = {10},
  pages     = {702-713},
  year      = {2014},
  doi       = {10.2514/1.I010178},
}```