Fast simulation of steady-state availability in non-Markovian highly dependable systems | IEEE Conference Publication | IEEE Xplore