# Using Model Checking to Detect Simultaneous Masking in Medical Alarms

> Research article (IEEE Transactions on Human-Machine Systems, 2015) · cited 18× · AI/ML

**Wikidata**: [openalex:W2005798073](https://www.wikidata.org/wiki/openalex:W2005798073)  
**Source**: https://4ort.xyz/entity/using-model-checking-to-detect-simultaneous-masking-in-medical-alarms