Verifying Epistemic Properties of multi-agent systems via model checking - Penczek,W; Lomuscio,A (ACM, 2003)