@article{SchellhornErnstPfaehleretal.2014,
  author    = {Gerhard Schellhorn and Gidon Ernst and J{\"o}rg Pf{\"a}hler and Dominik Haneberg and Wolfgang Reif},
  title     = {Development of a verified flash file system},
  journal   = {Lecture Notes in Computer Science},
  volume    = {8477},
  pages     = {9 -- 24},
  doi       = {10.1007/978-3-662-43652-3_2},
  year      = {2014},
}