Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks | IEEE Journals & Magazine | IEEE Xplore