Emerging challenges in cyber-physical systems: A balance of performance, correctness, and security | IEEE Conference Publication | IEEE Xplore