Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. - Alessio Lomuscio; T. Lasica; Wojciech Penczek (FAABS, 2002)

Verifying Multi-agent Systems via Unbounded Model Checking. - Magdalena Kacprzak; Alessio Lomuscio; T. Lasica; Wojciech Penczek; Maciej Szreter (FAABS, 2004)