SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems | IEEE Conference Publication | IEEE Xplore