{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:57:47Z","timestamp":1725731867967},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388521"},{"type":"electronic","value":"9783642388538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_25","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T10:39:00Z","timestamp":1371119940000},"page":"272-282","source":"Crossref","is-referenced-by-count":0,"title":["Contract-Based Compositional Scheduling Analysis for Evolving Systems"],"prefix":"10.1007","author":[{"given":"Tayfun","family":"Gezgin","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","first-page":"87","volume-title":"ACPN 2003","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: Semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44618-4_12","volume-title":"CONCUR 2000 - Concurrency Theory","author":"F. Cassez","year":"2000","unstructured":"Cassez, F., Larsen, K.: The Impressive Power of Stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 138\u2013152. Springer, Heidelberg (2000)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using uppaal 4.1. In: Nicolescu, G., Mosterman, P.J. (eds.) Model-Based Design for Embedded Systems, pp. 93\u2013119 (2009)","DOI":"10.1201\/9781420067859-c4"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: Schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 67\u201382. Springer, Heidelberg (2002)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: Parallel and Distributed Processing Symposium (April 2006)","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"25_CR7","first-page":"394","volume":"111","author":"T. Henzinger","year":"1992","unstructured":"Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation\u00a0111, 394\u2013406 (1992)","journal-title":"Information and Computation"},{"key":"25_CR8","unstructured":"Richter, K.: Compositional Scheduling Analysis Using Standard Event Models. PhD thesis, Technical University of Braunschweig, Braunschweig, Germany (2004)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Rox, J., Ernst, R.: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE, Leuven, Belgium (2010)","DOI":"10.1109\/DATE.2010.5457208"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-45449-7_29","volume-title":"Embedded Software","author":"L. Thiele","year":"2001","unstructured":"Thiele, L., Chakraborty, S., Gries, M., Maxiaguine, A., Greutert, J.: Embedded software in network processors - models and algorithms. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 416\u2013434. Springer, Heidelberg (2001)"},{"key":"25_CR11","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: IEEE International Symposium on Circuits and Systems (ISCAS), vol.\u00a04, pp. 101\u2013104 (2000)"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram.\u00a040, 117\u2013134 (1994)","journal-title":"Microprocess. Microprogram."}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T23:59:42Z","timestamp":1557791982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_25","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}