Critical Observability of Finite State Machines Under Attacks | IEEE Conference Publication | IEEE Xplore