Tutorial on hardware and software reliability, maintainability and availability paperback