Survivability Quantification: The Analytical Modeling Approach
YUN LIU KISHOR S. TRIVEDI
Int J Performability Eng . 2006, (1): 29 -44 .  DOI: 10.23940/ijpe.06.1.p29.mag