Review of Software Reliability Analysis Models: A Case Study of Operating Systems