Analyzing Safety and Fault Tolerance Using Time Petri Nets. - Nancy G. Leveson; Janice L. Stolzy (TAPSOFT, Vol.2, 1985)

Safety Analysis Using Petri Nets. - Nancy G. Leveson; Janice L. Stolzy (IEEE Trans. Software Eng., 1987)