{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:18:10Z","timestamp":1729621090330,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/itsc.2006.1707425","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T11:34:22Z","timestamp":1216380862000},"page":"1436-1441","source":"Crossref","is-referenced-by-count":4,"title":["Modelling a car safety controller in road tunnels using hybrid petri nets"],"prefix":"10.1109","author":[{"given":"A.","family":"Bobbio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gribaudo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Horvath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Safety","year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","article-title":"Improvement of accident prevention in road tunnels through intelligent infrastructures and intelligent vehicles operation","author":"sala","year":"2003","journal-title":"Proc of Intelligent Transport Systems (ITS2003)"},{"journal-title":"Safety in road tunnels","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008339216603"},{"key":"6","article-title":"Road tunnel risk assessment in the Netherlands","author":"de weger","year":"2001","journal-title":"Proc Eur Safety & Dependability Conf (ESREL2001)"},{"year":"0","author":"bakker","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"9","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1049\/cp:20010498","article-title":"model-based semiautomatic safety analysis of programmable systems in automotive applications","author":"papadopoulos","year":"2001","journal-title":"Proceedings of Advanced Driver Assistance Systems (ADAS)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(97)00028-3"},{"key":"11","first-page":"24","article-title":"FSPNs: Fluid Stochastic Petri nets","volume":"691","author":"trivedi","year":"1993","journal-title":"LNCS"}],"event":{"name":"2006 IEEE Intelligent Transportation Systems Conference","start":{"date-parts":[[2006,9,17]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2006,9,20]]}},"container-title":["2006 IEEE Intelligent Transportation Systems Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11180\/36023\/01707425.pdf?arnumber=1707425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T06:02:25Z","timestamp":1497765745000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1707425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/itsc.2006.1707425","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}