Discrete- Event Supervisory Control for the Landing Phase of a Helicopter Flight | IEEE Conference Publication | IEEE Xplore