An SMT-based approach to secure state estimation under sensor and actuator attacks | IEEE Conference Publication | IEEE Xplore