{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T15:41:39Z","timestamp":1760888499987,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641124","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:11:18Z","timestamp":1291151478000},"page":"1-4","source":"Crossref","is-referenced-by-count":20,"title":["Model for worst case delay analysis of an AFDX network using timed automata"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Adnan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Scharbarg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Je\u0301ro\u0302me","family":"Ermont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Fraboul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Aircraft Data Network Part 7 Avionics Full Duplex Switched Ethernet (Afdx) Network","year":"2005","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"year":"0","key":"1"},{"journal-title":"Applicability of Network Calculus to the Afdx","year":"2002","author":"fraboul","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.15"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347083"},{"journal-title":"Ve?rification et Synthe?se de Syste?ms Temporise?s Par des Me?thods D'Obervation et D'Analyse Parame?trique","year":"1998","author":"arjona","key":"4"},{"key":"8","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nuttshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"}],"event":{"name":"Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641124.pdf?arnumber=5641124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:42:23Z","timestamp":1497890543000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641124","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}