Reliability and Availability Specifications