Kees Verstoep Henri E. Bal Jiri Barnat Lubos Brim Efficient large-scale model checking. 1-12 2009 IPDPS http://dx.doi.org/10.1109/IPDPS.2009.5161000 conf/ipps/2009 db/conf/ipps/ipdps2009.html#VerstoepBBB09