{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:06:19Z","timestamp":1725617179512},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763143","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T17:45:16Z","timestamp":1361295916000},"page":"1-6","source":"Crossref","is-referenced-by-count":11,"title":["Composing heterogeneous components for system-wide performance analysis"],"prefix":"10.1109","author":[{"given":"S","family":"Perathoner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K","family":"Lampka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450177"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-6885-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2005.1466429"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9062-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629351"},{"key":"ref16","first-page":"200","article-title":"A tutorial on UPPAAL","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems 4th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM-RT 2004 Ser LNCS"},{"key":"ref17","article-title":"A tool for compositional analysis of timed systems by abstraction (extended abstract)","author":"krcal","year":"2007","journal-title":"Proceedings of 19th Nordic Workshop on Programming Theory (NWPT07)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.46"},{"key":"ref4","first-page":"190","author":"chakraborty","year":"2003","journal-title":"A general framework for analysing system properties in platform-based embedded system designs in Design Automation and Test in Europe (DATE)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0_2","article-title":"Network Calculus - A Theory of Deterministic Queuing Systems for the Internet","author":"le boudec","year":"2001","journal-title":"Lecture Notes in Computer Science (LNCS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"journal-title":"Real-Time Calculus (RTC) Toolbox","year":"2006","author":"wandeler","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269030"},{"key":"ref2","first-page":"182","article-title":"Timed automata as task models for event-driven systems","author":"norstr\u00f6m","year":"1999","journal-title":"Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289835"}],"event":{"name":"2011 Design, Automation & Test in Europe","start":{"date-parts":[[2011,3,14]]},"location":"Grenoble","end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763143.pdf?arnumber=5763143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:50:07Z","timestamp":1498017007000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763143\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763143","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}