Yan Sun Bruce M. McMillin Xiaoqing Frank Liu David A. Cape Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. 363-369 2007 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.68 conf/qsic/2007 db/conf/qsic/qsic2007.html#SunMLC07