@Article{ESB+11,
  author =       "S. Edelkamp and D. Sulewski and J. Barnat and L. Brim and P. \v{S}ime\v{c}ek",
  title =        "{Flash memory efficient LTL model checking}",
  journal =      "Science of Computer Programming",
  year =         "2011",
  volume =       "76",
  pages =        "136--157",
  url =          "http://dx.doi.org/10.1016/j.scico.2010.03.005"
}