Modeling and Mitigation of Faults in Cyber-physical Systems with Binary Sensors | IEEE Conference Publication | IEEE Xplore