Berard, B.; Mullins, J. Verification of Information Flow Properties under Rational Observation. eceasst 2014, 70.