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