{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T14:04:17Z","timestamp":1772201057740,"version":"3.50.1"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/syseng.2015.7302769","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:22:10Z","timestamp":1445883730000},"page":"272-277","source":"Crossref","is-referenced-by-count":5,"title":["Analysis of a driver and automated driving system interaction using a communicating sequential process"],"prefix":"10.1109","author":[{"given":"Satoko","family":"Kinoshita","sequence":"first","affiliation":[]},{"given":"Sunkil","family":"Yun","sequence":"additional","affiliation":[]},{"given":"Noriyasu","family":"Kitamura","sequence":"additional","affiliation":[]},{"given":"Hidekazu","family":"Nishimura","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"wickens","year":"1992","journal-title":"Engineering Psychology and Human Performance"},{"key":"ref11","author":"jamshidi","year":"2011","journal-title":"System of Systems Engineering Innovations for the Twenty-First Century"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-540-88479-8_22","author":"sun","year":"2008","journal-title":"Model checking CSP revisited Introducing a process analysis toolkit in Leveraging Applications of Formal Methods Verification and Validation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2012.04.011"},{"key":"ref14","article-title":"COMPASS","year":"0"},{"key":"ref4","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref3","year":"0","journal-title":"HAVE IT Website"},{"key":"ref6","article-title":"SysML for Systems Engineering","volume":"9","author":"hause","year":"2006","journal-title":"Fifteenth European Systems Engineering Conference"},{"key":"ref5","first-page":"187","author":"gibson-robinson","year":"2014","journal-title":"FDR3-A modern refinement checker for CSP in Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref8","article-title":"SysML for Systems Engineering","author":"holt","year":"2013","journal-title":"A Model-Based Approach"},{"key":"ref7","author":"friedenthal","year":"2014","journal-title":"A Practical Guide to SysML The Systems Modeling Language"},{"key":"ref2","article-title":"Highly automated vehicles for intelligent transport, Deliverable D61.1 Final Report","year":"2011","journal-title":"Continental Automotive GmbH"},{"key":"ref1","article-title":"Taxonomy and Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems","year":"2014","journal-title":"Tech Rep SAE J3016"},{"key":"ref9","first-page":"286","article-title":"A model for types and levels of human interaction with automation, Systems, Man and Cybernetics, Part A: Systems and Humans","volume":"30","author":"parasuraman","year":"2000","journal-title":"IEEE Transactions"}],"event":{"name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","location":"Rome, Italy","start":{"date-parts":[[2015,9,28]]},"end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7299493\/7302498\/07302769.pdf?arnumber=7302769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T20:21:19Z","timestamp":1567282879000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7302769\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/syseng.2015.7302769","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}