Ken Chan, Clive Fencott, Barry D. Hebbron. Formal Support for the Safety Analysis of Requirement Models. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 75-89, Springer, 1995. [doi]
Abstract is missing.