@inproceedings{galloway:mc_linux_vfs,
  AUTHOR       = {Galloway, Andy and L{\"u}ttgen, Gerald and
                  M{\"u}hlberg, Jan Tobias and Siminiceanu, Radu},
  TITLE        = {Model-Checking the Linux Virtual File System},
  BOOKTITLE    = {VMCAI},
  SERIES       = {LNCS},
  VOLUME       = {5403},
  PAGES        = {74-88},
  YEAR         = 2009
}