Text this: Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations