A unified framework for simulating Markovian models of highly dependable systems | IEEE Journals & Magazine | IEEE Xplore