A Method for PLC Implementation of Supervisory Control of Discrete Event Systems - Vieira A.D. (2017)