Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. - Conrado W. Seibel; Jean-Marie Farines; José E. R. Cury (Hybrid Systems, 1997)