{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:55:33Z","timestamp":1780563333332,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642163098","type":"print"},{"value":"9783642163104","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16310-4_11","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T03:44:29Z","timestamp":1285904669000},"page":"157-173","source":"Crossref","is-referenced-by-count":8,"title":["A Formal Pattern Architecture for Safe Medical Systems"],"prefix":"10.1007","author":[{"given":"Mu","family":"Sun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","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":"11_CR2","unstructured":"Dur\u00e1n, F., Meseguer, J.: The Maude specification of Full Maude. Technical report, SRI International (1999)"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Kim, D.-K., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Trans. Softw. Eng.\u00a030(3), 193\u2013206 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR4","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"11_CR5","unstructured":"Medical Devices and Medical Systems - Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE), http:\/\/mdpnp.org\/uploads\/ICE_Part_I_draft_21Dec2008_N30_web.pdf"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/ICSE.1998.671108","volume-title":"ICSE 1998: Proceedings of the 20th International Conference on Software Engineering","author":"T. Mikkonen","year":"1998","unstructured":"Mikkonen, T.: Formalizing Design Patterns. In: ICSE 1998: Proceedings of the 20th International Conference on Software Engineering, Washington, DC, USA, pp. 115\u2013124. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2007.06.005","volume":"176","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Abstraction and completeness for Real-Time Maude. Electronic Notes in Theoretical Computer Science\u00a0176(4), 5\u201327 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1-2","key":"11_CR8","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":"11_CR9","unstructured":"\u00d6lveczky, P.: Real-Time Maude 2.3 Manual (August 2007)"},{"key":"11_CR10","first-page":"666","volume-title":"ICSE 2004: Proceedings of the 26th International Conference on Software Engineering","author":"N. Soundarajan","year":"2004","unstructured":"Soundarajan, N., Hallstrom, J.O.: Responsibilities and Rewards: Specifying Design Patterns. In: ICSE 2004: Proceedings of the 26th International Conference on Software Engineering, Washington, DC, USA, pp. 666\u2013675. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR11","unstructured":"Sun, M., Meseguer, J., Sha, L.: A Formal Pattern Architecture for Safe Medical Systems, https:\/\/netfiles.uiuc.edu\/musun\/www\/medical_pattern\/techrep.pdf"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16310-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T15:15:56Z","timestamp":1685805356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16310-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163098","9783642163104"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16310-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}