{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:30Z","timestamp":1774801830573,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T00:00:00Z","timestamp":1344470400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10009-012-0257-7","type":"journal-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T11:48:33Z","timestamp":1344426513000},"page":"155-170","source":"Crossref","is-referenced-by-count":13,"title":["Component-based system design: analytic real-time interfaces for state-based component implementations"],"prefix":"10.1007","volume":"15","author":[{"given":"Kai","family":"Lampka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Perathoner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,9]]},"reference":[{"key":"257_CR1","doi-asserted-by":"crossref","unstructured":"Altisen, K., Moy, M.: ac2lus: bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language Lustre. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium (2010)","DOI":"10.1109\/ECRTS.2010.11"},{"key":"257_CR2","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: Paterson, M. (ed.) Proceedings of ICALP 1990. LNCS, vol. 443, p. 335. Springer, Berlin (1990)"},{"key":"257_CR3","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 200\u2013236. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"257_CR4","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87\u2013124. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"257_CR5","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Liu, Y., Stoimenov, N., Thiele, L., Wandeler, E.: Interface-based rate analysis of embedded systems. In: RTSS 2006, pp. 25\u201334 (2006)","DOI":"10.1109\/RTSS.2006.26"},{"key":"257_CR6","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Palopoli, L., Ramadian, Y.: Symbolic computation of schedulability regions using parametric timed automata. In: RTSS 2008, pp. 80\u201389 (2008)","DOI":"10.1109\/RTSS.2008.36"},{"key":"257_CR7","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148\u2013165. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45449-7_11"},{"key":"257_CR8","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Timed interfaces. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, pp. 108\u2013122. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45828-X_9"},{"key":"257_CR9","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006). IEEE, New York (2006)","DOI":"10.1109\/IPDPS.2006.1639422"},{"issue":"2","key":"257_CR10","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis\u2014the SymTA\/S approach. IEEE Proc. Comput. Digit. Tech. 152(2), 148\u2013166 (2005)","journal-title":"IEEE Proc. Comput. Digit. Tech."},{"key":"257_CR11","doi-asserted-by":"crossref","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT 2009, pp. 107\u2013116. ACM\/IEEE, New York (2009)","DOI":"10.1145\/1629335.1629351"},{"issue":"3","key":"257_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s10617-010-9055-1","volume":"14","author":"K Lampka","year":"2010","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. Des Autom. Embed. Syst. 14(3), 193\u2013227 (2010)","journal-title":"Des Autom. Embed. Syst."},{"key":"257_CR13","unstructured":"Perathoner, S.: Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy. PhD thesis. ETH Nbr: 19648. Pub Nbr: 127. Swiss Federal Institute of Technology Zurich, ETH Zurich (2011)"},{"key":"257_CR14","doi-asserted-by":"crossref","unstructured":"Simalatsar, A., Ramadian, Y., Lampka, K., Perathoner, S., Passerone, R., Thiele, L.: Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. In: Proceedings of the 2011 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011. ACM, New York (2011)","DOI":"10.1145\/2038698.2038723"},{"key":"257_CR15","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proceedings of the International Symposium on Circuits and Systems, vol. 4, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"257_CR16","doi-asserted-by":"crossref","unstructured":"Wandeler, E., Thiele, L.: Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. In: EMSOFT 2005, pp. 80\u201389. ACM\/IEEE, New York (2005)","DOI":"10.1145\/1086228.1086246"},{"key":"257_CR17","doi-asserted-by":"crossref","unstructured":"Weiss, G., Alur, R.: Automata based interfaces for control and scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 4416, pp. 601\u2013613. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71493-4_46"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0257-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0257-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0257-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T17:54:50Z","timestamp":1743962090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0257-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,9]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["257"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0257-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,9]]}}}