@Article{BBR12,
  author =       "J. Barnat and L. Brim and P. Ro\v{c}kai",
  title =        "{On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties}",
  journal =      "Science of Computer Programming",
  year =         "2012",
  volume =       "77",
  number =       "12",
  pages =        "1272--1288",
  url =          "http://dx.doi.org/10.1016/j.scico.2011.03.001"
}