{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:41:09Z","timestamp":1742953269916,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_18","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"259-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Timing is All You Need"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behnam","family":"Khodabandeloo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengzi","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaus","family":"Huber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"R\u00fcmmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00602-9_4","volume-title":"Hybrid Systems: Computation and Control","author":"P Caspi","year":"2009","unstructured":"Caspi, P., Benveniste, A., Lublinerman, R., Tripakis, S.: Actors without directors: a Kahnian view of heterogeneous systems. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol. 5469, pp. 46\u201360. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00602-9_4"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"495","DOI":"10.3390\/s24020495","volume":"24","author":"I Guevara","year":"2024","unstructured":"Guevara, I., Ryan, S., Singh, A., Brandon, C., Margaria, T.: Edge IoT prototyping using model-driven representations: a use case for smart agriculture. Sensors 24(2), 495 (2024). https:\/\/doi.org\/10.3390\/s24020495","journal-title":"Sensors"},{"issue":"1\u20132","key":"18_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(00)00202-4","volume":"247","author":"WH Hesselink","year":"2000","unstructured":"Hesselink, W.H.: A generalization of Naundorf\u2019s fixpoint theorem. Theor. Comput. Sci. 247(1\u20132), 291\u2013296 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(00)00202-4","journal-title":"Theor. Comput. Sci."},{"key":"18_CR4","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: IFIP 1974, pp. 471\u2013475. North-Holland (1974)"},{"issue":"12","key":"18_CR5","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E Lee","year":"1998","unstructured":"Lee, E., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 17(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018998524196","volume":"7","author":"EA Lee","year":"1999","unstructured":"Lee, E.A.: Modeling concurrent real-time processes using discrete events. Ann. Softw. Eng. 7(1), 25\u201345 (1999)","journal-title":"Ann. Softw. Eng."},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-36580-X_25","volume-title":"Hybrid Systems: Computation and Control","author":"J Liu","year":"2003","unstructured":"Liu, J., Lee, E.A.: On the causality of mixed-signal and hybrid models. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 328\u2013342. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36580-X_25"},{"key":"18_CR8","unstructured":"Liu, X.: Semantic foundation of the tagged signal model. University of California, Berkeley (2005)"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.tcs.2008.08.044","volume":"409","author":"X Liu","year":"2008","unstructured":"Liu, X., Lee, E.A.: CPO semantics of timed interactive actor networks. Theor. Comput. Sci. 409(1), 110\u2013125 (2008). https:\/\/doi.org\/10.1016\/j.tcs.2008.08.044","journal-title":"Theor. Comput. Sci."},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11817949_1","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"X Liu","year":"2006","unstructured":"Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 1\u201315. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817949_1"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3448128","volume":"20","author":"M Lohstroh","year":"2021","unstructured":"Lohstroh, M., Menard, C., Soroush, B., Lee, E.A.: Toward a lingua franca for deterministic concurrent systems. ACM Trans. Embed. Comput. Syst. 20(4), 1\u201327 (2021)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-40229-6_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"E Matsikoudis","year":"2013","unstructured":"Matsikoudis, E., Lee, E.A.: On fixed points of strictly causal functions. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 183\u2013197. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40229-6_13"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.tcs.2015.01.036","volume":"574","author":"E Matsikoudis","year":"2015","unstructured":"Matsikoudis, E., Lee, E.A.: The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574, 39\u201377 (2015). https:\/\/doi.org\/10.1016\/j.tcs.2015.01.036","journal-title":"Theor. Comput. Sci."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Matt, C., Maurer, U., Portmann, C., Renner, R., Tackmann, B.: Toward an algebraic theory of systems. Theor. Comput. Sci. 747, 1\u201325 (2018). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397518304092","DOI":"10.1016\/j.tcs.2018.06.001"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BFb0014732","volume-title":"Hybrid and Real-Time Systems","author":"O M\u00fcller","year":"1997","unstructured":"M\u00fcller, O., Scholz, P.: Functional specification of real-time and hybrid systems. In: Maler, O. (ed.) HART 1997. LNCS, vol. 1201, pp. 273\u2013285. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0014732"},{"issue":"1\u20132","key":"18_CR17","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0304-3975(99)00165-6","volume":"238","author":"H Naundorf","year":"2000","unstructured":"Naundorf, H.: Strictly causal functions have a unique fixed point. Theor. Comput. Sci. 238(1\u20132), 483\u2013488 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(99)00165-6","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"18_CR18","first-page":"3277","volume":"63","author":"C Portmann","year":"2017","unstructured":"Portmann, C., Matt, C., Maurer, U., Renner, R., Tackmann, B.: Causal boxes: quantum information-processing systems closed under composition. IEEE Trans. Inf. Theory 63(5), 3277\u20133305 (2017)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-16761-7_81","volume-title":"Automata, Languages and Programming","author":"GM Reed","year":"1986","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. In: Kott, L. (ed.) ICALP 1986. LNCS, vol. 226, pp. 314\u2013323. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/3-540-16761-7_81"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-19020-1_17","volume-title":"Mathematical Foundations of Programming Language Semantics","author":"GM Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: Metric spaces as models for real-time concurrency. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) MFPS 1987. LNCS, vol. 298, pp. 331\u2013343. Springer, Heidelberg (1988). https:\/\/doi.org\/10.1007\/3-540-19020-1_17"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R Tennent","year":"1976","unstructured":"Tennent, R.: The denotational semantics of programming languages. Commun. ACM 19, 437\u2013453 (1976)","journal-title":"Commun. ACM"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-56891-3_17","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"RK Yates","year":"1993","unstructured":"Yates, R.K., Gao, G.R.: A Kahn principle for networks of nonmonotonic real-time processes. In: Bode, A., Reeve, M., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694, pp. 209\u2013227. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56891-3_17"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-57208-2_27","volume-title":"CONCUR\u201993","author":"RK Yates","year":"1993","unstructured":"Yates, R.K.: Networks of real-time processes. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 384\u2013397. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57208-2_27"},{"key":"18_CR25","unstructured":"Yi, W., et al.: MIMOS in a nutshell (in preparation) (2024)"},{"key":"18_CR26","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-031-08143-9_2","volume-title":"Coordination Models and Languages","author":"W Yi","year":"2022","unstructured":"Yi, W., Mohaqeqi, M., Graf, S.: MIMOS: a deterministic model for the design and update of real-time systems. In: ter Beek, M.H., Sirjani, M. (eds.) COORDINATION 2022. LNCS, vol. 13271, pp. 17\u201334. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_2"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:19Z","timestamp":1738235719000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author(s) has no competing interests to declare that are relevant to the content of this manuscript.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}