Modeling correlation in software recovery blocks (1993)

by L Tomek, J Muppala, K Trivedi
Venue:IEEE Trans. Sofrware Engineering