Formally modeling a metal processing plant and its closed loop specifications | IEEE Conference Publication | IEEE Xplore