Non-Markovian State-Space Models in Dependability Evaluation