A reliability model of energy-efficient parallel disk systems with data mirroring. (9th August 2010)