Safety Verification in Murphy Using Fault Tree Analysis

@inproceedings{Cha-al:ICSE88,
  author    = {Stephen S. Cha and
               Nancy G. Leveson and
               Timothy J. Shimeall},
  title     = {Safety Verification in Murphy Using Fault Tree Analysis},
  booktitle = {ICSE},
  pages     = {377--387},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}