The Use of Formal Methods in the Analysis of Trust (Position Paper). - Michael J. Butler; Michael Leuschel; Stéphane Lo Presti; Phillip Turner (iTrust, 2004)

A Framework for Understanding Operator Decision Making in Simulated Nuclear Power Plant Cyber Attacks. - Susan Adams; Stacey M. L. Hendrickson; Phillip Turner (AHFE (5), 2017)