Automating Operating Procedure Synthesis for Batch Processes | AMiner