{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T13:25:20Z","timestamp":1772803520049,"version":"3.50.1"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1109\/jsyst.2014.2312172","type":"journal-article","created":{"date-parts":[[2014,4,25]],"date-time":"2014-04-25T18:02:11Z","timestamp":1398448931000},"page":"169-178","source":"Crossref","is-referenced-by-count":26,"title":["A Hybrid Systems Approach to Modeling Real-Time Situation-Awareness Component of Networked Crash Avoidance Systems"],"prefix":"10.1109","volume":"10","author":[{"given":"Ehsan","family":"Moradi-Pari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amin","family":"Tahmasbi-Sarvestani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaser Pourmohammadi","family":"Fallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2010.2085022"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2013.6549956"},{"key":"ref12","author":"cassandras","year":"2007","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.73"},{"key":"ref15","first-page":"169","article-title":"Probabilistic model checking of the IEEE 802.11 wireless local area network protocol","volume":"2399","author":"kwiatkowska","year":"0","journal-title":"Proc 2nd Joint Int Workshop PAPMPROBMIV"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(00)00053-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0005-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2189792"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2010.5395777"},{"key":"ref3","year":"1999"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795217"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2009.05.010"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2010.5594504"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2012.81"},{"key":"ref2","year":"2005","journal-title":"CAMP vehicle safety communications consortium vehicle safety communications project task 3 final report Identify intelligent vehicle safety applications enabled by DSRC"},{"key":"ref1","year":"2011","journal-title":"Vehicle safety communications—Applications (VSC-A) final report"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2011.6093282"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref22","first-page":"447","article-title":"From timed to hybrid systems","author":"maler","year":"0","journal-title":"Real Time Theory in Practice REX Workshop"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.886439"},{"key":"ref23","author":"lygeros","year":"2008","journal-title":"Hybrid systems Modeling analysis and control"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/7416301\/6805592.pdf?arnumber=6805592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:28:27Z","timestamp":1642004907000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6805592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":24,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2014.2312172","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"value":"1932-8184","type":"print"},{"value":"1937-9234","type":"electronic"},{"value":"2373-7816","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}