Engineering Methods and Tools for Cyber–Physical Automation Systems | Synapse