Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation. - Xianqiong Zhao; Olaf Malasse; Grégory Buchheit (Reliab. Eng. Syst. Saf., 2019)