Piotr Dembinski Wojciech Penczek Agata Pólrola Automated Verification of Infinite State Concurrent Systems. 247-255 2001 conf/ppam/2001 PPAM http://link.springer.de/link/service/series/0558/bibs/2328/23280247.htm db/conf/ppam/ppam2001.html#DembinskiPP01