{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:45:15Z","timestamp":1743497115222,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1109\/etfa46521.2020.9211888","type":"proceedings-article","created":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T17:37:37Z","timestamp":1601919457000},"page":"1820-1827","source":"Crossref","is-referenced-by-count":2,"title":["Towards Formal Analysis of Vehicle Platoons Using Actor Model"],"prefix":"10.1109","author":[{"given":"Zeinab","family":"Sharifi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramtin","family":"Khosravi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Car following models","author":"rothery","year":"1992","journal-title":"Trac Flow Theory Transportation Research Board"},{"key":"ref11","first-page":"385","article-title":"Modeling and verification of reactive systems using rebeca","volume":"63","author":"sirjani","year":"2004","journal-title":"Fundam Inform"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2414639.2414645"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24933-4_3"},{"article-title":"Description and theoretical analysis (using schemata) of planner: A language forproving theorems and manipulating models in a robot","year":"1972","author":"hewitt","key":"ref14"},{"key":"ref15","article-title":"Overview of platooning systems","author":"bergenheim","year":"2012","journal-title":"19th ITS World Congress"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0480-3"},{"key":"ref17","article-title":"Functional and performance analysis of network-on-chips using actor-based modeling and formal verification","volume":"66","author":"sharifi","year":"2013","journal-title":"ECEASST"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCW.2015.7247539"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7180527"},{"year":"0","key":"ref28","article-title":"Rebeca formal modeling language"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2598873"},{"year":"2020","key":"ref27","article-title":"Rebeca model for vehicle platoons"},{"year":"2014","key":"ref3","article-title":"Intelligent transport systems ( ITS); vehicular communications; basic set of applications; part 2: Specification of cooperative awareness basic service. ETSI EN 302 637-2 v1.3.2"},{"key":"ref6","article-title":"A simulation-based safety analysis of CACC-enabled highway platooning","author":"aramrattana","year":"2018","journal-title":"PhD thesis"},{"key":"ref5","first-page":"33","article-title":"Constant time to collision platoons","volume":"iii","author":"balas","year":"2008","journal-title":"International Journal of Computer Communications & Control"},{"key":"ref8","first-page":"625","article-title":"Effects of communication delay on string stability in vehicle platoons","author":"liu","year":"2001","journal-title":"ITSC"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2013.11.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2410831"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2010.0084"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1076\/vesd.32.1.23.4228"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2754584"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.05.006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2016.7510772"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2016.7743450"},{"key":"ref23","first-page":"18","article-title":"Modular verification of vehicle platooning with respect to decisions, space and time","volume":"1008","author":"kamali","year":"2018","journal-title":"FTSC"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.03.016"}],"event":{"name":"2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2020,9,8]]},"location":"Vienna, Austria","end":{"date-parts":[[2020,9,11]]}},"container-title":["2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9210104\/9211869\/09211888.pdf?arnumber=9211888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T11:44:28Z","timestamp":1656330268000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9211888\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/etfa46521.2020.9211888","relation":{},"subject":[],"published":{"date-parts":[[2020,9]]}}}