Reachability Analysis of Cyber-Physical Systems Under Stealthy Attacks | IEEE Journals & Magazine | IEEE Xplore