Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach | IEEE Conference Publication | IEEE Xplore