@InProceedings{BBC+08,
  author =       "J. Barnat and L. Brim and I. \v{C}ern\'{a} and M. \v{C}e\v{s}ka and J. T\r{u}mov\'{a}",
  title =        "{Local Quantitative LTL Model Checking}",
  booktitle =    "Formal Methods for Industrial Critical Systems (FMICS 2008)",
  pages =        "53--68",
  series =       "LNCS",
  volume =       "5596",
  year =         "2008",
  publisher =    "Springer-Verlag"
}