@inproceedings{BBC+08b,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Milan Češka and Jana Tůmová},
 booktitle = {Formal Methods for Industrial Critical Systems (FMICS 2008)},
 pages = {53--68},
 publisher = {Springer-Verlag},
 series = {LNCS},
 title = {{Local Quantitative LTL Model Checking}},
 volume = {5596},
 year = {2008}
}