Cyber security modeling for SCADA systems using stochastic game nets approach | IEEE Conference Publication | IEEE Xplore