{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:52Z","timestamp":1761597172449},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_37","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"717-736","source":"Crossref","is-referenced-by-count":24,"title":["Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude"],"prefix":"10.1007","author":[{"given":"Kyungmin","family":"Bae","sequence":"first","affiliation":[]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[]},{"given":"Thomas Huining","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Bae, K., \u00d6lveczky, P., Feng, T.H., Tripakis, S.: Verifying Ptolemy II discrete-event models using Real-Time Maude (2009), http:\/\/www.ifi.uio.no\/RealTimeMaude\/Ptolemy","DOI":"10.1007\/978-3-642-10373-5_37"},{"key":"37_CR2","unstructured":"Cheng, C.P., Fristoe, T., Lee, E.A.: Applied verification: The Ptolemy approach. Technical Report UCB\/EECS-2008-41, EECS Department, University of California, Berkeley (April 2008)"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-87875-9_10","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Denton","year":"2008","unstructured":"Denton, T., Jones, E., Srinivasan, S., Owens, K., Buskens, R.W.: NAOMI \u2013 an experimental platform for multi-modeling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 143\u2013157. Springer, Heidelberg (2008)"},{"issue":"22","key":"37_CR5","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0167-6423(02)00096-5","volume":"48","author":"S. Edwards","year":"2003","unstructured":"Edwards, S., Lee, E.: The semantics and execution of a synchronous block-diagram language. Science of Computer Programming\u00a048(22), 21\u201342 (2003)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"37_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2014the Ptolemy approach. Proceedings of the IEEE\u00a091(2), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/978-3-540-27813-9_46","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Chen, F., Meseguer, J., Rosu, G.: Formal analysis of Java programs in JavaFAN. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 501\u2013505. Springer, Heidelberg (2004)"},{"key":"37_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3552-9","volume-title":"Discrete-Event Simulation: Modeling, Programming, and Analysis","author":"G.S. Fishman","year":"2001","unstructured":"Fishman, G.S.: Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer, Heidelberg (2001)"},{"key":"37_CR9","unstructured":"Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.): Model-based Engineering of Embedded Real-time Systems. Dagstuhl Seminar Proc. 07451 (2007)"},{"issue":"1-4","key":"37_CR10","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-4), 25\u201345 (1999)","journal-title":"Annals of Software Engineering"},{"key":"37_CR11","volume-title":"EMSOFT","author":"E.A. Lee","year":"2007","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT. ACM, New York (2007)"},{"issue":"3","key":"37_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","volume":"373","author":"J. Meseguer","year":"2007","unstructured":"Meseguer, J., Rosu, G.: The rewriting logic semantics project. Theoretical Computer Science\u00a0373(3), 213\u2013237 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"37_CR13","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"37_CR14","unstructured":"SAE: AADL (2007), http:\/\/www.aadl.info\/"},{"key":"37_CR15","volume-title":"QEST 2005","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: VeStA: A statistical model-checker and analyzer for probabilistic systems. In: QEST 2005. IEEE, Los Alamitos (2005)"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer, 110\u2013112 (1997)","DOI":"10.1109\/2.585163"},{"key":"37_CR17","volume-title":"RTAS 2007","author":"Y. Zhao","year":"2007","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: RTAS 2007. IEEE, Los Alamitos (2007)"},{"key":"37_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-72685-2_19","volume-title":"Embedded Software and Systems","author":"G. Zhou","year":"2007","unstructured":"Zhou, G., Leung, M.K., Lee, E.A.: A code generation framework for actor-oriented models with partial evaluation. In: Lee, Y.-H., Kim, H.-N., Kim, J., Park, Y.W., Yang, L.T., Kim, S.W. (eds.) ICESS 2007. LNCS, vol.\u00a04523, pp. 193\u2013206. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:59Z","timestamp":1606186499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}