Wojciech Penczek Alessio Lomuscio Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. 167-185 2003 55 Fundam. Inform. 2 http://iospress.metapress.com/content/y8evq6uryxrpghmp/ db/journals/fuin/fuin55.html#PenczekL03