A computationally efficient formal method for discovering simultaneous masking in medical alarms

This publication has 28 references indexed in Scilit:

• Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs
  Innovations in Systems and Software Engineering, 2010
• Fewer but better auditory alarms will improve patient safety
  Quality and Safety in Health Care, 2005
• Are there too many alarms in the intensive care unit? An overview of the problems
  Journal of Advanced Nursing, 1995
• A theory of timed automata
  Theoretical Computer Science, 1994
• Audibility and identification of auditory alarms in the operating room and intensive care unit
  Ergonomics, 1993
• Auditory warning sounds in the work environment
  Philosophical Transactions of the Royal Society of London. B, Biological Sciences, 1990
• Additivity of simultaneous masking
  The Journal of the Acoustical Society of America, 1983
• Optimizing digital speech coders by exploiting masking properties of the human ear
  The Journal of the Acoustical Society of America, 1979
• Calculating virtual pitch
  Hearing Research, 1979
• Additivity of Masking
  The Journal of the Acoustical Society of America, 1967