Domenico Cotroneo Generoso Paolillo Stefano Russo Mario Lauria CSAR-2: A Case Study of Parallel File System Dependability Analysis. 180-189 2005 conf/hpcc/2005 HPCC http://dx.doi.org/10.1007/11557654_23 db/conf/hpcc/hpcc2005.html#CotroneoPRL05