Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska Jana Tumova ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. 77-78 2008 QEST http://dx.doi.org/10.1109/QEST.2008.29 conf/qest/2008 db/conf/qest/qest2008.html#BarnatBCCT08