{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:10:35Z","timestamp":1725801035678},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/syseng.2016.7753187","type":"proceedings-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T16:42:19Z","timestamp":1480005739000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Introduction of driver's delay into \u201cmodel checking\u201d for verification of safe interactions between a driver and an automated driving system"],"prefix":"10.1109","author":[{"given":"Satoko","family":"Kinoshita","sequence":"first","affiliation":[]},{"given":"Hidekazu","family":"Nishimura","sequence":"additional","affiliation":[]},{"given":"Sunkil","family":"Yun","sequence":"additional","affiliation":[]},{"given":"Noriyasu","family":"Kitamura","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"System of systems engineering: innovations for the twenty-first century","year":"2011","author":"jamshidi","key":"ref10"},{"key":"ref11","article-title":"Design of an automated driving system to ensure delegation of driving authority with ego vehicle driver","author":"yun","year":"2015","journal-title":"proceedings of 9th Asia-Pacific Conference on Systems Engineering (APCOSEC 2015)"},{"article-title":"Compositional Analysis and Design of CML Models","year":"2014","author":"oliveira","key":"ref12"},{"key":"ref13","first-page":"307","article-title":"Model checking CSP revisited: Introducing a process analysis toolkit, in Leveraging Applications of Formal Methods Verification and Validation","author":"sun","year":"2008"},{"key":"ref14","first-page":"187","article-title":"FDR3-A modern refinement checker for CSP, in Tools and Algorithms for the Construction and Analysis of Systems","author":"gibson-robinson","year":"2014"},{"journal-title":"Process Analysis Toolkit (PAT) 3 5 User Manual","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.05.010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1006\/imms.1993.1051"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.trf.2014.04.005"},{"journal-title":"Continental Automotive GmbH","article-title":"Highly automated vehicles for intelligent transport, Deliverable D61.1 Final Report","year":"2011","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1049\/PBPC010E"},{"key":"ref5","article-title":"A practical guide to SysML: the systems modeling language","author":"friedenthal","year":"2014","journal-title":"Morgan Kaufmann"},{"article-title":"Concurrent and Real-time systems, the CSP approach","year":"2000","author":"schneider","key":"ref8"},{"article-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref7"},{"year":"2014","key":"ref2","article-title":"Taxonomy and Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems"},{"journal-title":"National Highway Traffic Safety Administration (NHTSA)","article-title":"Traffic Safety Facts","year":"2015","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2015.7302769"}],"event":{"name":"2016 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2016,10,3]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2016,10,5]]}},"container-title":["2016 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7731016\/7753113\/07753187.pdf?arnumber=7753187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T03:52:24Z","timestamp":1481946744000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7753187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/syseng.2016.7753187","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}