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', 'Jean-Baptiste Jeannin', 'Erik P. Zawadzki', 'André Platzer', 'Geoffrey J. Gordon', '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}
}