Alvin M. Blum Ambuj Goyal Philip Heidelberger Stephen S. Lavenberg Marvin K. Nakayama Perwez Shahabuddin Modeling and Analysis of System Dependability Using the System Availability Estimator. 137-141 1994 FTCS db/conf/ftcs/ftcs94.html#BlumGHLNS94