Towards a Formal Specification Framework for Manufacturing Execution Systems | IEEE Journals & Magazine | IEEE Xplore