A Unified Framework for Simulating Markovian Models of Highly Dependable SystemsPerwez ShahabuddinPeter W. Glyniet al.1992IEEE TC