Fault tree and formal methods in system safety analysis | IEEE Conference Publication | IEEE Xplore