Engineering Methods and Tools for Cyber–Physical Automation Systems | IEEE Journals & Magazine | IEEE Xplore