Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska Jana Tumova Local Quantitative LTL Model Checking. 53-68 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_8 conf/fmics/2008 db/conf/fmics/fmics2008.html#BarnatBCCT08