Manuela L. Bujorianu Michael Fisher Proceedings FM-09 Workshop on Formal Methods for Aerospace FMA http://dx.doi.org/10.4204/EPTCS.20 2009 EPTCS 20 db/series/eptcs/eptcs20.html