Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell | IEEE Conference Publication | IEEE Xplore