{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T17:57:40Z","timestamp":1787507860523,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319064093","type":"print"},{"value":"9783319064109","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06410-9_7","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T17:03:01Z","timestamp":1397840581000},"page":"94-109","source":"Crossref","is-referenced-by-count":27,"title":["Definition, Semantics, and Analysis of Multirate Synchronous AADL"],"prefix":"10.1007","author":[{"given":"Kyungmin","family":"Bae","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Al-Nayeem, A., Sha, L., Cofer, D.D., Miller, S.M.: Pattern-based composition and analysis of virtually synchronized real-time distributed systems. In: Proc. ICCPS 2012. IEEE (2012)","DOI":"10.1109\/ICCPS.2012.15"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Al-Nayeem, A., Sun, M., Qiu, X., Sha, L., Miller, S.P., Cofer, D.D.: A formal architecture pattern for real-time distributed systems. In: Proc. 30th IEEE Real-Time Systems Symposium. IEEE (2009)","DOI":"10.1109\/RTSS.2009.50"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bae, K., Krisiloff, J., Meseguer, J., \u00d6lveczky, P.C.: PALS-based analysis of an airplane multirate control system in Real-Time Maude. In: Proc. FTSCS 2012. Electronic Proceedings in Theoretical Computer Science, vol.\u00a0105, pp. 5\u201321 (2012)","DOI":"10.4204\/EPTCS.105.2"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35861-6_1","volume-title":"Formal Aspects of Component Software","author":"K. Bae","year":"2013","unstructured":"Bae, K., Meseguer, J., \u00d6lveczky, P.C.: Formal patterns for multi-rate distributed real-time systems. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol.\u00a07684, pp. 1\u201318. Springer, Heidelberg (2013)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bae, K., Meseguer, J., \u00d6lveczky, P.C.: Definition, semantics, and analysis of Multirate Synchronous AADL (2013), \n                  \n                    http:\/\/formal.cs.illinois.edu\/kbae\/MR-SynchAADL","DOI":"10.1007\/978-3-319-06410-9_7"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bae, K., Meseguer, J., \u00d6lveczky, P.C.: Formal patterns for multirate distributed real-time systems. Science of Computer Programming (to appear, 2014), \n                  \n                    http:\/\/dx.doi.org\/10.1016\/j.scico.2013.09.010","DOI":"10.1016\/j.scico.2013.09.010"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/978-3-642-24559-6_43","volume-title":"Formal Methods and Software Engineering","author":"K. Bae","year":"2011","unstructured":"Bae, K., \u00d6lveczky, P.C., Al-Nayeem, A., Meseguer, J.: Synchronous AADL and its formal analysis in Real-Time Maude. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 651\u2013667. Springer, Heidelberg (2011)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-28872-2_4","volume-title":"Fundamental Approaches to Software Engineering","author":"K. Bae","year":"2012","unstructured":"Bae, K., \u00d6lveczky, P.C., Meseguer, J., Al-Nayeem, A.: The SynchAADL2Maude tool. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 59\u201362. Springer, Heidelberg (2012)"},{"key":"7_CR9","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\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"7_CR10","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL. Addison-Wesley (2012)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Fran\u00e7a, R., Bodeveix, J.P., Filali, M., Rolland, J.F., Chemouil, D., Thomas, D.: The AADL behaviour annex - experiments and roadmap. In: Proc. ICECCS 2007. IEEE (2007)","DOI":"10.1109\/ICECCS.2007.41"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2012.05.040","volume":"451","author":"J. Meseguer","year":"2012","unstructured":"Meseguer, J., \u00d6lveczky, P.C.: Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comp. Sci.\u00a0451, 1\u201337 (2012)","journal-title":"Theor. Comp. Sci."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-13464-7_5","volume-title":"Formal Techniques for Distributed Systems","author":"P.C. \u00d6lveczky","year":"2010","unstructured":"\u00d6lveczky, P.C., Boronat, A., Meseguer, J.: Formal semantics and analysis of behavioral AADL models in Real-Time Maude. In: Hatcliff, J., Zucca, E. (eds.) FMOODS\/FORTE 2010, Part II. LNCS, vol.\u00a06117, pp. 47\u201362. Springer, Heidelberg (2010)"},{"issue":"1-2","key":"7_CR14","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"}],"container-title":["Lecture Notes in Computer Science","FM 2014: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06410-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T12:53:30Z","timestamp":1558875210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06410-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319064093","9783319064109"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}