Brian Connolly. Software safety goal verification using fault tree techniques: a critically ill patient monitor example. In Second Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'89), June 26-27, 1989, Minneapolis, MN, USA. pages 118-120, IEEE, 1989. [doi]
Abstract is missing.