RAFFS: Model Checking a Robust Abstract Flash File Store. - Paul Taverne; Cornelis Pronk (ICFEM, 2009)