@InProceedings{BBS09,
  author =       "J. Barnat and L. Brim and P. {\v{S}}ime\v{c}ek",
  title =        "{Cluster-Based I/O Efficient LTL Model Checking}",
  booktitle =    "24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)",
  pages =        "635--639",
  year =         "2009",
  publisher =    "IEEE Computer Society"
}