A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks | IEEE Journals & Magazine | IEEE Xplore