Manufacturing cell supervisory control-a timed discrete event system approach | IEEE Conference Publication | IEEE Xplore