Fault/failure analysis of the Tandem NonStop-UX operating system | IEEE Conference Publication | IEEE Xplore