{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:10:47Z","timestamp":1745986247868,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641315","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T16:11:18Z","timestamp":1291133478000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Parametric analysis of distributed firm real-time systems: A case study"],"prefix":"10.1109","author":[{"family":"Thi Thieu Hoa Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L","family":"Palopoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Passerone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y","family":"Ramadian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A","family":"Cimatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"182","article-title":"Timed automata as task models for event-driven systems","author":"norstrom","year":"1999","journal-title":"Proc Int l Workshop Real-Time Computing Systems and Applications"},{"key":"22","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/RTAS.2005.10","article-title":"Applying sensitivity analysis in real-time distributed systems","author":"racu","year":"2005","journal-title":"RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2005.1387130"},{"journal-title":"Modeling a Distributed Heterogeneous Communication System Using Parametric Timed Automata","year":"2010","author":"le","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/REAL.1989.63567","article-title":"The rate monotonic scheduling algorithm: Exact characterization and average case behavior","author":"lehoczky","year":"1989","journal-title":"Proc of the 1989 IEEE Real-Time Systems Symp"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nut-shell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"11","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-36577-X_16","article-title":"Schedulability analysis using two clocks","volume":"2619","author":"fersman","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342716"},{"journal-title":"Ieee Standard 1588-2002","article-title":"A precision clock synchronization protocol for networked measurement and control systems","year":"2002","key":"21"},{"key":"3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/RTSS.2007.35","article-title":"Techniques for multiprocessor global schedulability analysis","author":"baruah","year":"2007","journal-title":"Real-Time Systems Symposium 2007 RTSS 2007 28th IEEE International"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2000.896003"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777471"},{"journal-title":"EADS Innovation Works","article-title":"Case study on distributed heterogeneous communication systems (HCS)","year":"2009","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.175"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.35"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.103"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2008.129"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.116"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"}],"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\/05641315.pdf?arnumber=5641315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:42:16Z","timestamp":1497876136000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641315\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641315","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}