The design of operating procedures to meet targets for probabilistic risk criteria using HRA methology | IEEE Conference Publication | IEEE Xplore