Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover | IEEE Journals & Magazine | IEEE Xplore