Availability Distribution of Roll-Back Recovery Systems