Software safety goal verification using fault tree techniques: a critically ill patient monitor example | IEEE Conference Publication | IEEE Xplore