A tool for the specification and verification of epistemic properties in interpreted systems - Raimondi, F; Lomuscio, A (Electronic Notes of Theoretical Computer Science, 2004)