{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:04:21Z","timestamp":1771509861275,"version":"3.50.1"},"reference-count":67,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/thms.2014.2379661","type":"journal-article","created":{"date-parts":[[2015,1,8]],"date-time":"2015-01-08T19:55:39Z","timestamp":1420746939000},"page":"174-185","source":"Crossref","is-referenced-by-count":14,"title":["Using Model Checking to Detect Simultaneous Masking in Medical Alarms"],"prefix":"10.1109","volume":"46","author":[{"given":"Bassam","family":"Hasanain","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Boyd","sequence":"additional","affiliation":[]},{"given":"Matthew L.","family":"Bolton","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1121\/1.397459"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/10.804571"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1046\/j.1365-2648.1995.21010015.x"},{"key":"ref32","year":"2003","journal-title":"Medical Electrical Equipment—Part 1-8"},{"key":"ref31","year":"2012","journal-title":"Alarms and alerts guidance and evaluation tool"},{"key":"ref30","first-page":"9","article-title":"Masking in the human auditory system","author":"moore","year":"0","journal-title":"Proc Audio Eng Soc Conf Collected Papers Digital Audio Bit-Rate Reduction"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1990.0091"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1136\/qshc.2004.013052"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1093\/bja\/ael114"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.2345\/0899-8205-46.6.478"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1121\/1.1910514"},{"key":"ref62","article-title":"Centralized telemetry monitoring center human factors report","author":"boyd","year":"2010"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1121\/1.388859"},{"key":"ref63","first-page":"44","article-title":"Modeling human workload in unmanned aerial systems","author":"moore","year":"0","journal-title":"Proc 2014 AAAI Spring Symp Series"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01617910"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1213\/01.ane.0000286148.58823.6c"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2256129"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0003-682X(91)90003-W"},{"key":"ref67","author":"breznitz","year":"1984","journal-title":"Cry Wolf The Psychology of False Alarms"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2345\/0899-8205-45.4.290"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/1541931214581173"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1080\/001401300421743"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2345\/0899-8205-45.s1.17"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1080\/00140139508925269"},{"key":"ref24","author":"patterson","year":"1982","journal-title":"Guidelines for auditory warning systems on civil aircraft"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/0018720813510735"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2044.2005.04502.x"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0003-6870(94)90001-9"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"ref51","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_45"},{"key":"ref58","article-title":"The SAL language manual","author":"de moura","year":"2003"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_38"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref53","article-title":"Timed systems in SAL","author":"dutertre","year":"2004","journal-title":"SRI Int"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1992.0068"},{"key":"ref11","first-page":"1","article-title":"Top 10 health technology hazards for 2013","volume":"41","year":"2012","journal-title":"Health Devices"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1121\/1.413376"},{"key":"ref12","author":"stead","year":"2009","journal-title":"Computational Technology for Effective Health Care Immediate Steps and Strategic Directions"},{"key":"ref13","first-page":"79","year":"2009","journal-title":"Connecting remote cardiac monitoring issues with care areas Pennsylvania Patient Safety Authority"},{"key":"ref14","article-title":"Alarm safety resource site: Guidance and tools to help healthcare facilities improve alarm safety","year":"2013"},{"key":"ref15","first-page":"1","article-title":"Medical device alarm safety in hospitals","volume":"50","year":"2013","journal-title":"Sentinel Event Alert"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01724206"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1097\/00003246-199406000-00017"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1097\/CCM.0b013e3181cb0888"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.apergo.2003.07.003"},{"key":"ref4","volume":"22","author":"fastl","year":"2006","journal-title":"Psychoacoustics Facts and Models"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1518\/001872007X215719"},{"key":"ref6","first-page":"1207a","article-title":"Auditory masking potential of common operating room sounds: A psychoacoustic analysis","volume":"109","author":"toor","year":"2008","journal-title":"Proc Anesthesiology 2008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/00140139308967986"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1136\/amiajnl-2012-001061"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/5.241504"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0327-9"},{"key":"ref46","first-page":"4","article-title":"Overview of MPEG audio: Current and future standards for low bit-rate audio coding","volume":"45","author":"brandenburg","year":"1997","journal-title":"J Audio Eng Soc"},{"key":"ref45","first-page":"780","article-title":"ISO\/MPEG-1 audio: A generic standard for coding of high-quality digital audio","volume":"42","author":"brandenburg","year":"1994","journal-title":"J Audio Eng Soc"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1121\/1.385079"},{"key":"ref47","author":"zwicker","year":"1967","journal-title":"Das Ohr als Nachrichtenempfnger"},{"key":"ref42","article-title":"A nonlinear psychoacoustic model applied to ISO\/MPEG layer 3 coder","author":"baumgarte","year":"0","journal-title":"Proc 99th Convention Audio Eng Soc"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/0378-5955(94)90014-0"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1049\/ecej:19970403"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1121\/1.383662"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221037\/7431959\/7004830.pdf?arnumber=7004830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:29:07Z","timestamp":1642004947000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7004830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":67,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/thms.2014.2379661","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"value":"2168-2291","type":"print"},{"value":"2168-2305","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4]]}}}