SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks | IEEE Conference Publication | IEEE Xplore