A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions. - Andrew J. Abbate; Amy L. Throckmorton; Ellen J. Bass (IEEE Trans. Hum. Mach. Syst., 2016)

A formal methods approach to semiotic engineering. - Andrew J. Abbate; Ellen J. Bass (Int. J. Hum. Comput. Stud., 2018)

A Formal Approach to Connectibility Affordances. - Andrew J. Abbate; Ellen J. Bass (IEEE Trans. Hum. Mach. Syst., 2019)