{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:36:09Z","timestamp":1729632969272,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638442","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"484-487","source":"Crossref","is-referenced-by-count":4,"title":["Designing and verifying media management in ReCANcentrate"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Barranco","sequence":"first","affiliation":[]},{"given":"Julian","family":"Proenza","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612714"},{"key":"2","article-title":"flexcan: a flexible architecture for highly dependable embedded applications","author":"pimentel","year":"2004","journal-title":"The 3rd International Workshop on Real-Time Networks"},{"journal-title":"Road vehicles","article-title":"iso11898","year":"1993","key":"1"},{"key":"7","article-title":"an experiment to assess bit error rate in can","author":"ferreira","year":"2004","journal-title":"Proceedings of 3rd International Workshop on Real-Time Networks"},{"key":"6","article-title":"majorcan: a modification to the controller area network to achieve atomic broadcast","author":"proenza","year":"2000","journal-title":"IEEE Int Workshop on Group Communication and Computations"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781063"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689464"},{"key":"8","doi-asserted-by":"crossref","first-page":"134152","DOI":"10.1007\/s100090050010","article-title":"uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Int Journal on Software Tools for Technology Transfer"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638442.pdf?arnumber=4638442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:21:58Z","timestamp":1497774118000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638442\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638442","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}