A case study using a protocol to derive safety functional requirements from Fault Tree Analysis | IEEE Conference Publication | IEEE Xplore