Abstract: Markov models (MM) are widely used in dependability assessment of complex safetycritical systems. The main computational difficulties in using MMs are model size and stiffness. Selection of the solution approach (SA) and ...