{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:23:39Z","timestamp":1740169419317,"version":"3.37.3"},"reference-count":66,"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:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"}],"funder":[{"name":"UK Engineering"},{"DOI":"10.13039\/501100000266","name":"Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/G059063"],"award-info":[{"award-number":["EP\/G059063"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/thms.2015.2487509","type":"journal-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T14:57:04Z","timestamp":1445871424000},"page":"291-302","source":"Crossref","is-referenced-by-count":5,"title":["A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata"],"prefix":"10.1109","volume":"46","author":[{"given":"Gerrit","family":"Niezen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parisa","family":"Eslambolchilar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2007.01.001"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024494838"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/32.729686"},{"article-title":"Using task analytic behavior modeling, erroneous human behavior generation, and formal methods to evaluate the role of human-automation interaction in system failure","year":"2010","author":"bolton","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92698-6_2"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34907-7_11"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2256129"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.2010.005264"},{"key":"ref34","first-page":"5","article-title":"Reviewing the role of cockpit alerting systems","volume":"1","author":"pritchett","year":"2001","journal-title":"Human Factors Aerosp Safety"},{"article-title":"PVSio-web: A tool for rapid prototyping device user interfaces in PVS","year":"0","author":"oladimeji","key":"ref60"},{"year":"2014","author":"niezen","key":"ref62"},{"year":"2011","author":"fette","key":"ref61"},{"article-title":"On formalising interactive number entry on infusion pumps","year":"0","author":"masci","key":"ref63"},{"journal-title":"Research Methods for Human-Computer Interaction","year":"2008","author":"cairns","key":"ref28"},{"journal-title":"Simulation The Practice of Model Development and Use","year":"2004","author":"robinson","key":"ref64"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/235833.236050"},{"key":"ref65","article-title":"Human performance","author":"buxton","year":"2009","journal-title":"Human Input to Computer Systems Theories Techniques and Technology"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2008.07.005"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0035-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40483-2_26"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40480-1_37"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00092-8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6878-3_4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/67449.67453"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-3693-5_7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s001650070021"},{"journal-title":"The Psychology of Human-Computer Interaction","year":"1983","author":"card","key":"ref26"},{"key":"ref25","first-page":"123","article-title":"Formal modelling of cognitive interpretation","author":"ruk\u0161?nas","year":"0","journal-title":"Proc 5th Int Conf Des Specification Verification Interactive Syst"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0099-y"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996497"},{"article-title":"Demonstrating that medical devices satisfy user related safety requirements","year":"0","author":"harrison","key":"ref59"},{"journal-title":"Man-Machine Systems Information Control and Decision Models of Human Performance","year":"1974","author":"sheridan","key":"ref58"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1971.1099842"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1956.1100823"},{"journal-title":"Feedback Control for Computer Systems","year":"2014","author":"janert","key":"ref55"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1965.1098168"},{"journal-title":"Analysis of Nonlinear Control Systems","year":"1961","author":"graham","key":"ref53"},{"article-title":"The vestibular system and human dynamic space orientation","year":"1965","author":"meiry","key":"ref52"},{"year":"2011","author":"bass","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6878-3_8"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1986.4308966"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/225434.225459"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(97)00015-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2001.948496"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/PERSER.2007.4283937"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.AMBISYS2008.2882"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2013.10.005"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1177\/001872087701900402","article-title":"Estimation and control theory: Application to modeling human behavior","volume":"19","author":"rouse","year":"1977","journal-title":"Human Factors"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2607023.2607025"},{"article-title":"Estimation of pilot model parameters for helicopter handling qualities studies","year":"0","author":"leacock","key":"ref6"},{"journal-title":"Feedback Mechanisms in Animal Behavior","year":"1971","author":"mcfarland","key":"ref5"},{"key":"ref8","first-page":"301","article-title":"Continuous interaction with computers: Issues and requirements","author":"faconti","year":"0","journal-title":"Universal Access in HCI"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/THFE.1967.234304"},{"journal-title":"Press On Principles of Interaction Programming","year":"2007","author":"thimbleby","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_12"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"journal-title":"Control Theory for Humans Quantitative Approaches to Modeling Performance","year":"2003","author":"jagacinski","key":"ref45"},{"key":"ref48","first-page":"80","article-title":"Continuous interaction and human control","author":"doherty","year":"0","journal-title":"Proc Eur Annu Conf Human Decision- Making and Manual Control"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184749"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1518\/107118109X12524442637309"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"journal-title":"Automotive Control System for Engine Driveline and Vehicle","year":"2000","author":"kiencke","key":"ref44"},{"key":"ref43","first-page":"1","article-title":"Specifying and analyzing workflows for automated identification and data capture","author":"gunter","year":"0","journal-title":"Proc 42nd Hawaii Int Conf Syst Sci"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221037\/7431959\/07307166.pdf?arnumber=7307166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:44:37Z","timestamp":1641987877000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7307166\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":66,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/thms.2015.2487509","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"type":"print","value":"2168-2291"},{"type":"electronic","value":"2168-2305"}],"subject":[],"published":{"date-parts":[[2016,4]]}}}