Medical Alarm Audibility System Checker (MAASC): A Computational Tool for Checking Medical Alarm Configurations for Simultaneous Masking

Bolton M. L. Edworthy J. R. Boyd A. D. (2018). A formal analysis of masking between reserved alarm sounds of the IEC 60601-1-8 international medical alarm standard. In Proceedings of the human factors and ergonomics society annual meeting (Vol. 62, pp. 523–527). Los Angeles.

Bolton M. L. Edworthy J. R. Boyd A. D. Wei J. Zheng X. (2018). A computationally efficient formal method for discovering simultaneous masking in medical alarms. Applied Acoustics, 141, 403–415.

Fastl H. Zwicker E. (2006). Psychoacoustics: Facts and models (Vol. 22). Springer.

Hasanain B. Boyd A. Bolton M. (2016). Using model checking to detect simultaneous masking in medical alarms. IEEE Transactions on Human-Machine Systems, 46(2), 174–185.

Hasanain B. Boyd A. D. Edworthy J. R. Bolton M. L. (2017). A formal approach to discovering simultaneous additive masking between auditory medical alarms. Applied Ergonomics, 58, 500–514.