Lubos Brim Mojmír Kretínský Model-Checking Large Finite-State Systems and Beyond. 9-28 2007 conf/sofsem/2007 SOFSEM (1) http://dx.doi.org/10.1007/978-3-540-69507-3_2 db/conf/sofsem/sofsem2007.html#BrimK07