@InProceedings{PrabhakaranEtAl05-DSN,
           title = "{Model-Based Failure Analysis of Journaling File Systems}",
          author = "Vijayan Prabhakaran and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau",
       booktitle = "The Proceedings of the International Conference on Dependable Systems and Networks (DSN-2005)",
           pages = "802--811",
           month = "June",
            year = "2005",
         address = "Yokohama, Japan",
}