@article{muehlber:vfs-facj,
 title     = "Verifying Compiled File System Code",
 author    = "Jan Tobias M{\"u}hlberg and Gerald L{\"u}ttgen",
 journal   = "Formal Aspects of Computing",
 PUBLISHER = {Springer},
 address   = "Heidelberg",
 year      = 2010,
 note      = "To appear."
}