Formally Modeling a Metal Processing Plant and its Closed Loop Specifications