Dependability models of RAID using stochastic activity networks | Publicación