Hybrid Boolean Systems Models for Cyberattacks, Faults, and Human Operators | IEEE Conference Publication | IEEE Xplore