Validation of approximate dependability models of a RAID architecture with orthogonal organization | IEEE Conference Publication | IEEE Xplore