Software Reliability Modeling | part of Modeling for Reliability Analysis: Markov Modeling for Reliability, Maintainability, Safety, and Supportability Analyses of Complex Systems | Wiley-IEEE Press books | IEEE Xplore