Discrete- Event Supervisory Control for the Landing Phase of a Helicopter Flight. - James Horner; Tanner Trautrim; Cristina Ruiz Martin; Gabriel A. Wainer; Iryna Borshchova (WSC, 2022)