@TECHREPORT{galloway:mc_linux_fs,
  AUTHOR       = {Galloway, Andy and M{\"u}hlberg, Jan Tobias and Siminiceanu,
                  Radu and L{\"u}ttgen, Gerald},
  TITLE        = {{M}odel-checking {P}art of a {L}inux {F}ile {S}ystem},
  INSTITUTION  = {Department of Computer Science, University of York, UK},
  NUMBER       = {YCS-2007-423},
  YEAR         = 2007
}