@inproceedings{BBE+08,
 author = {Jiří Barnat and Luboš Brim and Stefan Edelkamp and Damian Sulewski and Pavel Šimeček},
 booktitle = {Formal Methods for Industrial Critical Systems (FMICS 2008)},
 pages = {150--165},
 publisher = {Springer-Verlag},
 series = {LNCS},
 title = {{Can Flash Memory Help in Model Checking}},
 volume = {5596},
 year = {2008}
}