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)