Efficient and Scalable Runtime Monitoring for Cyber–Physical System | IEEE Journals & Magazine | IEEE Xplore