{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:56:45Z","timestamp":1725742605715},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402289"},{"type":"electronic","value":"9783642402296"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40229-6_15","type":"book-chapter","created":{"date-parts":[[2013,7,23]],"date-time":"2013-07-23T01:47:40Z","timestamp":1374544060000},"page":"213-227","source":"Crossref","is-referenced-by-count":4,"title":["On the Verification of Timed Discrete-Event Models"],"prefix":"10.1007","author":[{"given":"Christos","family":"Stergiou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleftherios","family":"Matsikoudis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"The MIT Press Series in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press Series in Artificial Intelligence. MIT Press, Cambridge (1986)"},{"key":"15_CR2","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.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"12","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1016\/j.scico.2010.10.002","volume":"77","author":"K. Bae","year":"2012","unstructured":"Bae, K., Csaba Olveczky, P., Feng, T.H., Lee, E.A., Tripakis, S.: Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude. Science of Computer Programming\u00a077(12), 1235\u20131271 (2012)","journal-title":"Science of Computer Programming"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"15_CR5","unstructured":"Cataldo, A., Lee, E., Liu, X., Matsikoudis, E., Zheng, H.: A constructive fixed-point theorem and the feedback semantics of timed sy stems. In: WODES (2006)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Henzinger, T.A., Prabhu, V.S.: Finite automata with time-delay blocks. In: EMSOFT 2012, pp. 43\u201352. ACM (2012)","DOI":"10.1145\/2380356.2380370"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"J.C. Eidson","year":"2012","unstructured":"Eidson, J.C., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed real-time software for cyber-physical systems. Proceedings of the IEEE\u00a0100(1), 45\u201359 (2012)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J., Lee, E.A., et al.: Taming heterogeneity \u2013 the Ptolemy approach. Proc. IEEE\u00a091(1) (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Geilen, M., Tripakis, S., Wiggers, M.: The Earlier the Better: A Theory of Timed Actor Interfaces. In: HSCC. ACM (2011)","DOI":"10.1145\/1967701.1967707"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Perathoner, S., Thiele, L., Yi, W.: Cyclic dependencies in modular performance analysis. In: EMSOFT 2008, pp. 179\u2013188. ACM (2008)","DOI":"10.1145\/1450058.1450083"},{"key":"15_CR12","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming (1974)"},{"key":"15_CR13","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: EMSOFT, pp. 107\u2013116. ACM (2009)","DOI":"10.1145\/1629335.1629351"},{"issue":"1","key":"15_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018998524196","volume":"7","author":"E.A. Lee","year":"1999","unstructured":"Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering\u00a07(1), 25\u201345 (1999)","journal-title":"Annals of Software Engineering"},{"issue":"1","key":"15_CR15","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. Theoretical Computer Science\u00a0409(1), 110\u2013125 (2008)","journal-title":"Theoretical Computer Science"},{"key":"15_CR16","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.\u00a04137, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE (January 1989)","DOI":"10.1109\/5.21072"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-24933-4_3","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. Sirjani","year":"2011","unstructured":"Sirjani, M., Jaghoori, M.M.: Ten Years of Analyzing Actors: Rebeca Experience. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 20\u201356. Springer, Heidelberg (2011)"},{"key":"15_CR19","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: ISCAS, pp. 101\u2013104 (2000)"},{"key":"15_CR20","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":"R.K. Yates","year":"1993","unstructured":"Yates, R.K.: Networks of real-time processes. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 384\u2013397. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40229-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T12:30:28Z","timestamp":1596198628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40229-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402289","9783642402296"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40229-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}