Anton Wijs Bert Lisser Distributed Extended Beam Search for Quantitative Model Checking. 166-184 2006 conf/mochart/2006 MoChArt http://dx.doi.org/10.1007/978-3-540-74128-2_11 db/conf/mochart/mochart2006.html#WijsL06