Computing System Reliability: Models and Analysis