Methodology to Develop a Discrete-Event Supervisory Controller for an Autonomous Helicopter Flight | Publicación