Design Automation for Cyber-Physical Systems [Scanning the Issue] | IEEE Journals & Magazine | IEEE Xplore