Reliability analysis of safety systems using Markov-chain modelling | IEEE Conference Publication | IEEE Xplore