Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models. - Matthew L. Bolton; Xi Zheng; Kylie Molinaro; Adam Houser; Meng Li (Innov. Syst. Softw. Eng., 2017)

Evaluating the applicability of the double system lens model to the analysis of phishing email judgments. - Kylie Molinaro; Matthew L. Bolton (Comput. Secur., 2018)

A formal method for assessing the impact of task-based erroneous human behavior on system safety. - Matthew L. Bolton; Kylie Molinaro; Adam Houser (Reliab. Eng. Syst. Saf., 2019)