Modeling and logic control design for production system: a matrix based approach | IEEE Conference Publication | IEEE Xplore