A method to prevent excessive numbers of Markov states in Markov models for quantitative safety and reliability assessment · Study