Reduction of complex safety models based on Markov chains | IEEE Conference Publication | IEEE Xplore