Jiri Barnat Lubos Brim Stefan Edelkamp Damian Sulewski Pavel Simecek Can Flash Memory Help in Model Checking? 150-165 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_14 conf/fmics/2008 db/conf/fmics/fmics2008.html#BarnatBESS08