A Comparative Study on Reliability Analysis Methods for Safety Critical Systems Using Petri-Nets and Dynamic Flowgraph Methodology: A Case Study of Nuclear Power Plant. - Manish Tripathi; Lalit Kumar Singh; Suneet Singh; Pooja Singh (IEEE Trans. Reliab., 2022)