Design of Functional Specifications for Industrial Automation Systems (scada, Plc, and Dcs)Henry Maeda