{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:43:34Z","timestamp":1742921014278,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_12","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"201-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Quest for\u00a0an\u00a0Adequate Semantic Basis of\u00a0Dense-Time Metric Temporal Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9138-8340","authenticated-orcid":false,"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. In: Logrippo, L. (ed.) Proceedings of The Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, 19\u201321 August 1991, pp. 139\u2013152. ACM (1991). https:\/\/doi.org\/10.1145\/112600.112613","DOI":"10.1145\/112600.112613"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A.: A really temporal logic. In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October\u20131 November 1989, pp. 164\u2013169. IEEE Computer Society (1989). https:\/\/doi.org\/10.1109\/SFCS.1989.63473","DOI":"10.1109\/SFCS.1989.63473"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Chaochen, Z., Hansen, M.R.: Duration calculus-a formal approach to real-time systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer (2004). https:\/\/doi.org\/10.1007\/978-3-662-06784-0","DOI":"10.1007\/978-3-662-06784-0"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Chaochen, Z., Hoare, C., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991). https:\/\/doi.org\/10.1016\/0020-0190(91)90122-X, https:\/\/www.sciencedirect.com\/science\/article\/pii\/002001909190122X","DOI":"10.1016\/0020-0190(91)90122-X"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, 8\u201310 September 2010. Proceedings. Lecture Notes in Computer Science, vol. 6246, pp. 92\u2013106. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"12_CR6","unstructured":"Fr\u00e4nzle, M.: Controller design from temporal logic: undecidability need not matter. Ph.D. thesis, University of Kiel (1997). https:\/\/d-nb.info\/951730746"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00165-004-0032-y","volume":"16","author":"M Fr\u00e4nzle","year":"2004","unstructured":"Fr\u00e4nzle, M.: Model-checking dense-time duration calculus. Formal Aspects Comput. 16(2), 121\u2013139 (2004). https:\/\/doi.org\/10.1007\/s00165-004-0032-y","journal-title":"Formal Aspects Comput."},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, 22\u201324 September 2004, Proceedings. Lecture Notes in Computer Science, vol. 3253, pp. 152\u2013166. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"issue":"7","key":"12_CR9","first-page":"753","volume":"43","author":"D Marker","year":"1996","unstructured":"Marker, D.: Model theory and exponentiation. Not. AMS 43(7), 753\u2013759 (1996)","journal-title":"Not. AMS"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1109\/T-AIEE.1928.5055024","volume":"47","author":"H Nyquist","year":"1928","unstructured":"Nyquist, H.: Certain topics in telegraph transmission theory. Trans. Am. Inst. Electr. Eng. 47(2), 617\u2013644 (1928)","journal-title":"Trans. Am. Inst. Electr. Eng."},{"key":"12_CR11","unstructured":"Orfanidis, S.J.: Introduction to Signal Processing. College Division, Prentice Hall, Upper Saddle River, NJ 07458 (1995)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Shannon, C.E.: Communication in the presence of noise. In: Proceeding IRE, vol. 37, no. (1) (1949)","DOI":"10.1109\/JRPROC.1949.232969"},{"key":"12_CR13","unstructured":"Wilke, T.: Automaten und Logiken zur Beschreibung zeitabh\u00e4ngiger Systeme. Ph.D. thesis, University of Kiel, Germany (1994). https:\/\/d-nb.info\/942315308"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Wilke, T.: Specifying timed state sequences in powerful decidable logics and timed automata. In: Langmaack, H., de Roever, W.P., Vytopil, J. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, L\u00fcbeck, Germany, 19\u201323 September, Proceedings. Lecture Notes in Computer Science, vol. 863, pp. 694\u2013715. Springer (1994). https:\/\/doi.org\/10.1007\/3-540-58468-4_191","DOI":"10.1007\/3-540-58468-4_191"}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:30:28Z","timestamp":1664037028000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}