A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design | IEEE Conference Publication | IEEE Xplore