{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:38:23Z","timestamp":1760132303909,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/dsnw.2013.6615529","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:32:25Z","timestamp":1380753145000},"page":"1-12","source":"Crossref","is-referenced-by-count":15,"title":["On reliability analysis of leader election protocols for virtual traffic lights"],"prefix":"10.1109","author":[{"given":"Negin","family":"Fathollahnejad","sequence":"first","affiliation":[]},{"given":"Emilia","family":"Villani","sequence":"additional","affiliation":[]},{"given":"Risat","family":"Pathan","sequence":"additional","affiliation":[]},{"given":"Raul","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Karlsson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1997.632812"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2002.1185641"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1088\/0967-1846\/6\/3\/301"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-642-22110-1_27","article-title":"Time for statistical model checking of real-time systems","volume":"6806","author":"david","year":"2011","journal-title":"Computer Aided Verification Ser Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028994"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2011.6069717"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1860058.1860077"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.11.003"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2307888.2307907"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.032"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1137\/S009753970443999X"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.04.036"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2007.20"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-009-0084-6"}],"event":{"name":"2013 43rd Annual IEEE\/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","start":{"date-parts":[[2013,6,24]]},"location":"Budapest, Hungary","end":{"date-parts":[[2013,6,27]]}},"container-title":["2013 43rd Annual IEEE\/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6597028\/6615495\/06615529.pdf?arnumber=6615529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:02:20Z","timestamp":1498086140000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6615529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/dsnw.2013.6615529","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}