Fast simulation of steady-state availability in non-Markovian highly dependable systems · Study