A Non-intrusive Solution to Guarantee Runtime Behavior of Open SCADA Systems | IEEE Conference Publication | IEEE Xplore