Vijayan Prabhakaran Andrea C. Arpaci-Dusseau Remzi H. Arpaci-Dusseau Model-Based Failure Analysis of Journaling File Systems. 802-811 2005 conf/dsn/2005 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2005.65 db/conf/dsn/dsn2005.html#PrabhakaranAA05