{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:15:53Z","timestamp":1729624553237,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913198","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Scalable real-time compatibility for embedded components using language-progressive TIOA"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Neumann","sequence":"first","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2432631.2432641"},{"key":"16","article-title":"Component software beyond object-oriented programming","author":"szyperski","year":"2002","journal-title":"Component Software"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629351"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2013.6913198"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","author":"kaynar","year":"2006","journal-title":"The Theory of Timed I\/O Automata (Synthesis Lectures in Computer Science)"},{"key":"3","first-page":"108","article-title":"Timed interfaces","author":"alfaro","year":"2002","journal-title":"EMSOFT '02"},{"key":"2","article-title":"Interface theories for component-based design","author":"alfaro","year":"2001","journal-title":"Proc of 1st IWoES Volume 2211 of LNCS"},{"key":"1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503271.503226","article-title":"Interface automata","volume":"26","author":"alfaro","year":"2001","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_1"},{"key":"7","first-page":"91","article-title":"Timed I\/O automata: A complete specification theory for real-time systems","author":"david","year":"2010","journal-title":"Proc of HSCC '10"},{"key":"6","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"SFM-04 RT LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"4","article-title":"A theory of timed automata","author":"alur","year":"1990","journal-title":"Extended Version of the ICALP90 Paper"},{"key":"9","first-page":"17","article-title":"Model-based integration","author":"giese","year":"2011","journal-title":"MBERTS'07 Volume 6100 of LNCS"},{"key":"8","article-title":"Scaling up Uppaal: Automatic verification of real-time systems using compositionality and abstraction","author":"ejersbo jensen","year":"2000","journal-title":"FTRTFT Volume 1926 of LNCS"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2013,6,19]]},"location":"Paderborn, Germany","end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913198.pdf?arnumber=6913198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T04:16:10Z","timestamp":1689567370000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913198","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}