Magdalena Kacprzak Wojciech Nabialek Artur Niewiadomski Wojciech Penczek Agata Pólrola Maciej Szreter Bozena Wozna Andrzej Zbrzezny VerICS 2007 - a Model Checker for Knowledge and Real-Time. 313-328 2008 85 Fundam. Inform. 1-4 http://iospress.metapress.com/content/aju14j810h82w141/ db/journals/fuin/fuin85.html#KacprzakNNPPSWZ08