Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell. - L. D. James; Carlos Alberto Teixeira; André B. Leal (ICIT, 2019)