Model-based Real-time Testing of Drone Autopilots. - Andrea Patelli; Luca Mottola (DroNet@MobiSys, 2016)