{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T00:41:37Z","timestamp":1792802497879,"version":"4.5.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030001506","type":"print"},{"value":"9783030001513","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00151-3_2","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T13:54:31Z","timestamp":1535205271000},"page":"17-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Models of Timed Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-662-49498-1_2","volume-title":"Programming Languages and Systems","author":"R Alur","year":"2016","unstructured":"Alur, R., Fisman, D., Raghothaman, M.: Regular programming for quantitative properties of data streams. In: Thiemann, P. (ed.) ESOP 2016. LNCS, vol. 9632, pp. 15\u201340. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49498-1_2"},{"key":"2_CR2","series-title":"Wiley Series in Probability and Statistics","volume-title":"Empirical Model-Building and Response Surfaces","author":"GEP Box","year":"1987","unstructured":"Box, G.E.P., Draper, N.R.: Empirical Model-Building and Response Surfaces. Wiley Series in Probability and Statistics. Wiley, Hoboken (1987)"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Requirements for hybrid cosimulation standards. In: Hybrid Systems: Computation and Control (HSCC) (2015). https:\/\/doi.org\/10.1145\/2728606.2728629","DOI":"10.1145\/2728606.2728629"},{"key":"2_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"GC Buttazzo","year":"2005","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally-distributed database. In: OSDI (2012). https:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"key":"2_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9072-8","volume-title":"A Primer on Determinism, The University of Ontario Series in Philosophy of Science","author":"J Earman","year":"1986","unstructured":"Earman, J.: A Primer on Determinism, The University of Ontario Series in Philosophy of Science, vol. 32. D. Reidel Publishing Company, Dordrecht (1986)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Lee, E.A.: The case for the precision timed (PRET) machine. In: Design Automation Conference (DAC) (2007)","DOI":"10.1109\/DAC.2007.375165"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"J Eidson","year":"2012","unstructured":"Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed real-time software for cyber-physical systems. Proc. IEEE (Spec. Issue on CPS) 100(1), 45\u201359 (2012). https:\/\/doi.org\/10.1109\/JPROC.2011.2161237","journal-title":"Proc. IEEE (Spec. Issue on CPS)"},{"key":"2_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-251-9","volume-title":"Measurement, Control, and Communication Using IEEE 1588","author":"JC Eidson","year":"2006","unstructured":"Eidson, J.C.: Measurement, Control, and Communication Using IEEE 1588. Springer, London (2006). https:\/\/doi.org\/10.1007\/1-84628-251-9"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Eidson, J.C., Stanton, K.B.: Timing in cyber-physical systems: the last inch problem. In: IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS), pp. 19\u201324. IEEE (2015). https:\/\/doi.org\/10.1109\/ISPCS.2015.7324674","DOI":"10.1109\/ISPCS.2015.7324674"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1109\/TR.1971.5216113","volume":"R\u201320","author":"SW Golomb","year":"1971","unstructured":"Golomb, S.W.: Mathematical models: uses and limitations. IEEE Trans. Reliab. R\u201320(3), 130\u2013131 (1971). https:\/\/doi.org\/10.1109\/TR.1971.5216113","journal-title":"IEEE Trans. Reliab."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Kirner, R., Puschner, P.: Obstacles in worst-case execution time analysis. In: Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 333\u2013339. IEEE (2008)","DOI":"10.1109\/ISORC.2008.65"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H Kopetz","year":"2003","unstructured":"Kopetz, H., Bauer, G.: The time-triggered architecture. Proc. IEEE 91(1), 112\u2013126 (2003)","journal-title":"Proc. IEEE"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/2993.2994","volume":"6","author":"L Lamport","year":"1984","unstructured":"Lamport, L.: Using time instead of timeout for fault-tolerant distributed systems. ACM Trans. Program. Lang. Syst. 6(2), 254\u2013280 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/2912149","volume":"1","author":"EA Lee","year":"2016","unstructured":"Lee, E.A.: Fundamental limits of cyber-physical systems modeling. ACM Trans. Cyber-Phys. Syst. 1(1), 26 (2016). https:\/\/doi.org\/10.1145\/2912149","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MDAT.2017.2766560","volume":"35","author":"EA Lee","year":"2018","unstructured":"Lee, E.A.: What is real-time computing? A personal view. IEEE Des. Test 35(2), 64\u201372 (2018). https:\/\/doi.org\/10.1109\/MDAT.2017.2766560","journal-title":"IEEE Des. Test"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Reineke, J., Zimmer, M.: Abstract PRET machines. In: IEEE Real-Time Systems Symposium (RTSS) (2017). Invited TCRTS award paper","DOI":"10.1109\/RTSS.2017.00041"},{"key":"2_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/11180.001.0001","volume-title":"Plato and the Nerd \u2013 The Creative Partnership of Humans and Technology","author":"EA Lee","year":"2017","unstructured":"Lee, E.A.: Plato and the Nerd \u2013 The Creative Partnership of Humans and Technology. MIT Press, Cambridge (2017)"},{"key":"2_CR19","volume-title":"Now \u2013 The Physics of Time","author":"RA Muller","year":"2016","unstructured":"Muller, R.A.: Now \u2013 The Physics of Time. W. W. Norton and Company, New York (2016)"},{"issue":"10","key":"2_CR20","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"JA Stankovic","year":"1988","unstructured":"Stankovic, J.A.: Misconceptions about real-time computing: a serious problem for next-generation systems. Computer 21(10), 10\u201319 (1988)","journal-title":"Computer"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Thiele, L., Kumar, P.: Can real-time systems be chaotic? In: EMSOFT, pp. 21\u201330. ACM (2015)","DOI":"10.1109\/EMSOFT.2015.7318256"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"W\u00e4gemann, P., Distler, T., Eichler, C., Schr\u00f6der-Preikschat, W.: Benchmark generation for timing analysis. In: Real-Time Embedded Technology and Applications Symposium (RTAS). IEEE (2017)","DOI":"10.1109\/RTAS.2017.6"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., et al.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS) 7(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 259\u2013268. IEEE (2007). https:\/\/doi.org\/10.1109\/RTAS.2007.5","DOI":"10.1109\/RTAS.2007.5"},{"key":"2_CR25","unstructured":"Zimmer, M., Broman, D., Shaver, C., Lee, E.A.: FlexPRET: a processor platform for mixed-criticality systems. In: Real-Time and Embedded Technology and Application Symposium (RTAS) (2014). http:\/\/chess.eecs.berkeley.edu\/pubs\/1048.html"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00151-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,30]],"date-time":"2022-08-30T08:55:15Z","timestamp":1661849715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00151-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030001506","9783030001513"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00151-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}