Development and evaluation of a 2oo3 safety controller in FPGA using fault tree analysis and Markov models
International Journal of Power Electronics and Drive Systems/International Journal of Electrical and Computer Engineering