Victor F. Nicola Perwez Shahabuddin Philip Heidelberger Peter W. Glynn Fast Simulation of Steady-State Availability in Non-Markovian Highly Dependable Systems. 38-47 1993 FTCS db/conf/ftcs/ftcs93.html#NicolaSHG93