A Formal Approach for the Specification, Verification and Control of Flexible Manufacturing Systems | IEEE Conference Publication | IEEE Xplore