A Non-intrusive Solution to Guarantee Runtime Behavior of Open SCADA Systems. - Yan-Fang Mao; Yang Zhang; Qiang Hua; Hong-Yang Dai; Xing Wang (ICWS, 2015)