Design methodologies for industrial control systems.