{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T15:17:56Z","timestamp":1761059876981},"reference-count":40,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"7","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.2514\/1.i010276","type":"journal-article","created":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T01:54:31Z","timestamp":1422669271000},"page":"476-489","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":18,"title":["Model Checking Human\u2013Human Communication Protocols Using Task Models and Miscommunication Generation"],"prefix":"10.2514","volume":"12","author":[{"given":"Matthew L.","family":"Bolton","sequence":"first","affiliation":[{"name":"Department of Industrial and System Engineering, University at Buffalo, State University of New York, Buffalo, New York 14260"}]}],"member":"1387","reference":[{"key":"r1","first-page":"47","volume-title":"Flight Safety Digest","year":"2000"},{"key":"r2","first-page":"1","volume-title":"Human Performance","year":"2006"},{"key":"r4","doi-asserted-by":"publisher","DOI":"10.1075\/lplp.27.3.03jon"},{"key":"r5","unstructured":"BarshiI.FarrisC., Misunderstandings in ATC Communication: Language, Cognition, and Experimental Methodology, Ashgate Publishing, Surrey, England, U.K., 2013, p.\u00a0270."},{"key":"r6","unstructured":"Buerki-CohenJ. \u201cAn Analysis of Tower (Ground) Controller-Pilot Voice Communications,\u201d Federal Aviation Administration, U.S. Dept. of Transportation TR-DOT\/FA\/4AR-9619, DOT-VNTSC-FAA-95-41, 1995."},{"key":"r8","first-page":"9","volume-title":"Information Transfer Problems in the Aviation System","author":"Billings C. E.","year":"1981"},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"r10","unstructured":"ClarkeE. M.GrumbergO.PeledD. A., Model Checking, MIT Press, Cambridge, MA, 1999, p.\u00a0314."},{"key":"r11","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0104-3"},{"key":"r13","unstructured":"SunshineC. A. \u201cFormal Methods for Communication Protocol Specification and Verification,\u201d RAND Corp. TR-N-1492-ARPA\/NBS, Santa Monica, CA, 1979."},{"key":"r14","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094685"},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.1109\/32.16602"},{"key":"r17","unstructured":"DietrichF.HubauxJ. \u201cFormal Methods for Communication Services,\u201d Inst. for Computer Communications and Applications, Swiss Federal Inst. of Technology TR-SSC\/1999\/023, Zurich, 1999."},{"key":"r18","volume-title":"How to Do Things with Words: The William James Lectures Delivered at Harvard University in 1955","author":"Austin J.","year":"1962"},{"key":"r19","doi-asserted-by":"publisher","DOI":"10.1201\/b16826"},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.1109\/52.896246"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"r29","doi-asserted-by":"publisher","DOI":"10.1080\/10508414.2012.718240"},{"key":"r31","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-012-9138-6"},{"key":"r32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"r33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2256129"},{"key":"r34","unstructured":"De MouraL.OwreS.ShankarN. \u201cThe SAL Language Manual,\u201d Computer Science Lab., SRI International TR CSL-01-01 2(Rev. 2), Menlo Park, CA, 2003, p.\u00a035."},{"key":"r35","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-010-0129-9"},{"key":"r37","doi-asserted-by":"publisher","DOI":"10.1007\/s10111-005-0020-x"},{"key":"r38","first-page":"37","volume-title":"AAAI Workshop on Detecting, Repairing, and Preventing Human\u2013Machine Miscommunication","author":"Traum D.","year":"1996"},{"key":"r39","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"r41","unstructured":"ScarboroughA.BaileyL.PoundsJ. \u201cExamining ATC Operational Errors Using the Human Factors Analysis and Classification System,\u201d Federal Aviation Administration, Office of Aerospace Medicine TR-DOT\/FAA\/AM-05\/25, 2005."},{"key":"r42","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"r43","unstructured":"SperberD.WilsonD., Relevance: Communication and Cognition, 2nd\u00a0ed., Wiley-Blackwell, New York, 1995, p.\u00a0338."},{"key":"r44","first-page":"687","volume-title":"Handbook of Systems Engineering and Management","author":"Jones P. M.","year":"1997"},{"key":"r45","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139062367"},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.1006\/imms.1993.1051"},{"key":"r48","unstructured":"FieldsR. E. \u201cAnalysis of Erroneous Actions in the Design of Critical Systems,\u201d Ph.D. Thesis, Univ. of York, York, England, U.K. 2001."},{"key":"r49","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2001.0523"},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70816-2_9"},{"key":"r51","doi-asserted-by":"publisher","DOI":"10.1145\/264645.264658"},{"key":"r52","doi-asserted-by":"publisher","DOI":"10.1145\/235833.236054"},{"key":"r53","doi-asserted-by":"publisher","DOI":"10.1145\/353485.353487"},{"key":"r54","doi-asserted-by":"publisher","DOI":"10.1177\/1555343413490944"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:33:53Z","timestamp":1614584033000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":40,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["10.2514\/1.I010276"],"URL":"https:\/\/doi.org\/10.2514\/1.i010276","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]},"assertion":[{"value":"2014-04-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-10-12","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-11-26","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-01-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}