An Approach to Model Checking the Perceptual Interactions of Medical Alarms

An Approach to Model Checking the Perceptual Interactions of Medical Alarms