Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. - Matthew L. Bolton; Svetlana Riabova; Yeonbin Son; Eunsuk Kang (SMC, 2023)