Model-based failure analysis of journaling file systems | IEEE Conference Publication | IEEE Xplore