Software safety goal verification using fault tree techniques: a critically ill patient monitor example

@inproceedings{Connolly1989SoftwareSG,
  title={Software safety goal verification using fault tree techniques: a critically ill patient monitor example},
  author={Brian Connolly},
  booktitle={CBMS},
  year={1989}
}