A model for availability analysis of distributed software/hardware systems - Lai, C.D. (2014)
10.1016/S0950-5849(02)00007-1