Ambuj Goyal Perwez Shahabuddin Philip Heidelberger Victor F. Nicola Peter W. Glynn A Unified Framework for Simulating Markovian Models of Highly Dependable Systems. 36-51 1992 41 IEEE Trans. Computers 1 db/journals/tc/tc41.html#GoyalSHNG92