{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:15:19Z","timestamp":1761621319883,"version":"3.37.3"},"reference-count":71,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T00:00:00Z","timestamp":1512086400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T00:00:00Z","timestamp":1512086400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T00:00:00Z","timestamp":1512086400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T00:00:00Z","timestamp":1512086400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-1429910"],"award-info":[{"award-number":["IIS-1429910"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/thms.2017.2700630","type":"journal-article","created":{"date-parts":[[2017,5,25]],"date-time":"2017-05-25T18:14:00Z","timestamp":1495736040000},"page":"822-833","source":"Crossref","is-referenced-by-count":22,"title":["A Formal Machine\u2013Learning Approach to Generating Human\u2013Machine Interfaces From Task Models"],"prefix":"10.1109","volume":"47","author":[{"given":"Meng","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiajun","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7943-0497","authenticated-orcid":false,"given":"Matthew L.","family":"Bolton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0095-2"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1080\/10508410801926814"},{"key":"ref38","article-title":"Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models","volume":"13","author":"bolton","year":"2016","journal-title":"Innovations in Systems and Software Engineering"},{"key":"ref33","article-title":"Formally verifying human-automation interaction with specification properties generated from task analytic models","author":"bolton","year":"2013","journal-title":"Proc 6th IAASS Conf"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39929-2_12"},{"key":"ref31","first-page":"1","article-title":"Specifying and analyzing workflows for automated identification and data capture","author":"gunter","year":"2009","journal-title":"Proc 42nd Hawaii Int Conf Syst Sci"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2007.01.001"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85992-5_8"},{"key":"ref36","article-title":"Extending procedural task models by explicit and systematic integration of objects, knowledge and information","author":"de almeida","year":"2013","journal-title":"Proc 31st Eur Conf Cogn Ergonom"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-012-9138-6"},{"key":"ref60","first-page":"227","article-title":"Oops, it didn't arm”—A case study of two automation surprises","author":"palmer","year":"1995","journal-title":"Proc 8th Int Symp Aviation Psychol"},{"journal-title":"Theory of Finite Automata with an Introduction to Formal Languages","year":"1989","author":"carroll","key":"ref62"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33296-8_1"},{"article-title":"The SAL language manual","year":"2003","author":"de moura","key":"ref63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45522-1_6"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"journal-title":"Formal Methods in Human-Computer Interaction","year":"1997","author":"palanque","key":"ref27"},{"journal-title":"The Psychology of Everyday Things","year":"1988","author":"norman","key":"ref65"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570442"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822043"},{"key":"ref67","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-540-70569-7_6","article-title":"Systematic analysis of control panel interfaces using formal tools","author":"campos","year":"2008","journal-title":"Proc 15th Int Workshop Design Verification Spec Interact Syst"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/225434.225459"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(97)00015-5"},{"journal-title":"Ergonomics of Human-system Interaction - Part 210 Human-centred Design for Interactive Systems","year":"2010","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/1541931215591142"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2256129"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"ref24","first-page":"732","article-title":"Formal validation of HCI user tasks","author":"a\u00eft-ameur","year":"2003","journal-title":"Proc Int Conf Softw Eng Res Practice"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/503457.503460"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44675-3_9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-010-0129-9"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5820-2_21"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39929-2_14"},{"journal-title":"Taming HAL Designing Interfaces Beyond 2001","year":"2004","author":"degani","key":"ref59"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570454"},{"key":"ref57","first-page":"9","article-title":"Automatic generation of full-control system abstraction for human–machine interaction","author":"comb\u00e9fis","year":"2012","journal-title":"Proc Human–Mach Interact (Formal H)"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2070821.2070822"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538319"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1518\/001872095779049516"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1518\/001872007X312522"},{"journal-title":"A Task Model-Based Approach for the Design and Evaluation of Innovative User Interfaces","year":"2005","author":"santoro","key":"ref52"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1201\/b16826"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2329476"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"ref14","first-page":"129","article-title":"Gedanken-experiments on sequential machines","volume":"34","author":"moore","year":"1956","journal-title":"Automata Studies"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/355137.358311"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/21.391287"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.729686"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2004.826313"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1518\/107118109X12524442637309"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0049-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6878-3_8"},{"key":"ref8","first-page":"92","article-title":"An approach to generating human-computer interfaces from task models","author":"bolton","year":"2014","journal-title":"Proc AAAI Spring Symp"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055332"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1122935.1122962"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.4324\/9781410605795","author":"schraagen","year":"2000","journal-title":"Cognitive Task Analysis"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081189"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2010.5641711"},{"key":"ref48","first-page":"3160","article-title":"Model-driven approach to design user interfaces for workflow information systems.","volume":"14","author":"garc\u00eda","year":"2008","journal-title":"J Universal Comput Sci"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11797-8_12"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1080\/10508414.2012.718240"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010276"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2015.2494462"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ergon.2016.04.001"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/6221037\/8105908\/7934047-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221037\/8105908\/07934047.pdf?arnumber=7934047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:53:20Z","timestamp":1649444000000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7934047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":71,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/thms.2017.2700630","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"type":"print","value":"2168-2291"},{"type":"electronic","value":"2168-2305"}],"subject":[],"published":{"date-parts":[[2017,12]]}}}