Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. - Martin Becker 001; Markus Neumair; Alexander Söhn; Samarjit Chakraborty (SAFECOMP Workshops, 2015)