NuEditor – A Tool Suite for Specification and Verification of NuSCR - Cho, Jaemyung; Yoo, Junbeom; Cha, Sungdeok (Software Engineering Research and Applications, 2006)
Keywords: Channel Error; Fault Tree Analysis; Model Check; Software Requirement; Variable Node