Yuchao Zhang Guoqi Li Juan Zhang QP Based Framework for Development and Formal Verification of Flight Control Software of UAV. 1-8 2011 AICI (1) http://dx.doi.org/10.1007/978-3-642-23881-9_1 conf/aici/2011-1 db/conf/aici/aici2011-1.html#ZhangLZ11