Reliability analysis of multiplex control system of subsea blowout preventer based on stochastic Petri net - Liu, Zengkai (Array, 2017)