Secure controllers: Requirements of S*FSM | IEEE Conference Publication | IEEE Xplore