{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:54:24Z","timestamp":1729637664872,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/syscon.2013.6549956","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T15:42:56Z","timestamp":1373384576000},"page":"681-687","source":"Crossref","is-referenced-by-count":4,"title":["Modeling communication and estimation processes of automated crash avoidance systems"],"prefix":"10.1109","author":[{"given":"Ehsan","family":"Moradi-Pari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tahmasbi-Sarvestani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y. P.","family":"Fallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2010.5395777"},{"key":"15","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","author":"maler","year":"1992","journal-title":"Real-Time Theory in Practice REX Workshop Proceedings"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2009.05.010"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0005-2"},{"year":"0","key":"3"},{"journal-title":"Vehicle Safety Communications Project Task 3 Final Report Identify Intelligent Vehicle Safety Applications Enabled by DSRC","year":"2005","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(00)00053-5"},{"journal-title":"Introduction to Discrete Event Systems","year":"2007","author":"cassandras","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2010.2085022"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2012.81"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795217"},{"key":"9","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-45605-8_11","article-title":"Probabilistic model checking of the ieee 802.11 wireless local area network protocol","volume":"2399","author":"kwiatkowska","year":"2002","journal-title":"Proc 2nd Joint International Workshop on Process Algebra and Probabilistic Methods and Performance Modeling in Verification (PAPMPROBMIV 2002) Ser Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"}],"event":{"name":"2013 7th Annual IEEE Systems Conference (SysCon)","start":{"date-parts":[[2013,4,15]]},"location":"Orlando, FL","end":{"date-parts":[[2013,4,18]]}},"container-title":["2013 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6542295\/6549844\/06549956.pdf?arnumber=6549956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:17:18Z","timestamp":1602685038000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6549956"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/syscon.2013.6549956","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}