Verifying the design of a cellular manufacturing system | IEEE Conference Publication | IEEE Xplore