{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:19:33Z","timestamp":1742933973386,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":16,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461438786"},{"type":"electronic","value":"9781461438793"}],"license":[{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-3879-3_11","type":"book-chapter","created":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T12:35:31Z","timestamp":1374150931000},"page":"189-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Exploration of Distributed Automotive Systems Using Compositional Timing Analysis"],"prefix":"10.1007","author":[{"given":"Martin","family":"Lukasiewycz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gla\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,19]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Richter, K., Ziegenbein, D., Jersak, M., Ernst, R.: Model composition for scheduling analysis in platform design. In: Proceedings of the 39th Conference on Design Automation (DAC 2002), pp. 287\u2013292 (2002)","DOI":"10.1145\/513918.513993"},{"key":"11_CR2","unstructured":"Anssi, S., Albers, K., D\u00f6rfel, M., G\u00e9rard, S.: ChronVAL\/ChronSIM: a tool suite for timing analysis of automotive applications. In: Proceedings of the Conference on Embedded Real-time Software and Systems (ERTS 2012) (2012)"},{"key":"11_CR3","unstructured":"Chakraborty, S., Kunzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2003), pp. 190\u2013195 (2003)"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T Blickle","year":"1998","unstructured":"Blickle, T., Teich, J., Thiele, L.: System-level synthesis using evolutionary algorithms. Des Autom. Embed. Syst. 3(1), 23\u201362 (1998)","journal-title":"Des Autom. Embed. Syst."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Streub\u00fchr, M., Gla\u00df, M., Haubelt, C., Teich, J.: Combined system synthesis and communication architecture exploration for MPSoCs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2009), pp. 472\u2013477 (2009)","DOI":"10.1109\/DATE.2009.5090711"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Gla\u00df, M., Haubelt, C., Teich, J.: SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. In: Proceedings of CEC \u201907, pp. 935\u2013942 (2007)","DOI":"10.1109\/CEC.2007.4424570"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1016\/0967-0661(95)00112-8","volume":"3","author":"K Tindell","year":"1995","unstructured":"Tindell, K., Burns, A., Wellings, A.: Calculating controller area network (CAN) message response times. Control Eng. Pract. 3, 1163\u20131169 (1995)","journal-title":"Control Eng. Pract."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"K\u00fcnzli, S., Hamann, A., Ernst, R., Thiele, L.: Combined approach to system level performance analysis of embedded systems. In: Proceedings of the 5th IEEE\/ACM International Conference on Hardware\/Software Codesign and System, Synthesis (CODES+ISSS 2007), pp. 63\u201368 (2007)","DOI":"10.1145\/1289816.1289835"},{"key":"11_CR9","unstructured":"Schioler, H., Jessen, J., Nielsen, J.D., Larsen, K.G.: Network calculus for real time analysis of embedded systems with cyclic task dependencies. In: Proceedings of the 20th International Conference on Computers and Their Applications (CATA 2005), pp. 326\u2013332 (2005)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Perathoner, S., Thiele, L., Yi, W.: Cyclic dependencies in modular performance analysis. In: Proceedings of the 8th ACM International Conference on Embedded software (EMSOFT 2008), pp. 179\u2013188 (2008)","DOI":"10.1145\/1450058.1450083"},{"key":"11_CR11","unstructured":"Aho, A.V., Hopcroft, J.E.: Ullman. Data Structures and Algorithms. Addison-Wesley, J.D. (1983)"},{"issue":"6","key":"11_CR12","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BF01940880","volume":"15","author":"J Cheriyan","year":"1996","unstructured":"Cheriyan, J., Mehlhorn, K.: Algorithms for dense graphs and networks on the random access computer. Algorithmica 15(6), 521\u2013549 (1996)","journal-title":"Algorithmica"},{"key":"11_CR13","unstructured":"Sedgewick, R.: Algorithms in C, Part 5: Graph Algorithms. Addison-Wesley (2002)"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s11241-007-9040-3","volume":"39","author":"T Pop","year":"2008","unstructured":"Pop, T., Pop, P., Eles, P., Peng, Z., Andrei, A.: Timing analysis of the FlexRay communication protocol. Real-Time Syst. 39(1), 205\u2013235 (2008)","journal-title":"Real-Time Syst."},{"key":"11_CR16","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: Proceedings of the 9th ACM International Conference on Embedded software (EMSOFT 2009), pp. 107\u2013116 (2009)","DOI":"10.1145\/1629335.1629351"}],"container-title":["Embedded Systems","Embedded Systems Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-3879-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T10:04:10Z","timestamp":1675332250000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-3879-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,19]]},"ISBN":["9781461438786","9781461438793"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-3879-3_11","relation":{},"ISSN":["2193-0155","2193-0163"],"issn-type":[{"type":"print","value":"2193-0155"},{"type":"electronic","value":"2193-0163"}],"subject":[],"published":{"date-parts":[[2013,7,19]]},"assertion":[{"value":"19 July 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}