@InProceedings{BBSW08,
  author =       "J. Barnat and L. Brim and P. \v{S}ime\v{c}ek and M. Weber",
  title =        "{Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking}",
  booktitle =    "Tools and Algorithms for the Construction and Analysis of Systems (TACAS).",
  pages =        "48--62",
  volume =       "4963",
  year =         "2008",
  series =       "LNCS",
  publisher =    "Springer"
}