@InProceedings{BBE+08,
  author =       "J. Barnat and L. Brim and S. Edelkamp and D. Sulewski and P. \v{S}ime\v{c}ek",
  title =        "{Can Flash Memory Help in Model Checking}",
  booktitle =    "Formal Methods for Industrial Critical Systems (FMICS 2008)",
  series =       "LNCS",
  volume =       "5596",
  pages =        "150--165",
  year =         "2008",
  publisher =    "Springer-Verlag"
}