Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape. Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 363-369, IEEE Computer Society, 2007. [doi]
Abstract is missing.