Han Seong Son, Poong-Hyun Seong. Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. Rel. Eng. & Sys. Safety, 80(1):19-32, 2003. [doi]
Abstract is missing.