Identification of SCADA systems: case studies | IEEE Conference Publication | IEEE Xplore