{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:40Z","timestamp":1725486280468},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_3","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T01:09:52Z","timestamp":1181610592000},"page":"32-44","source":"Crossref","is-referenced-by-count":0,"title":["Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Rust","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"3_CR1","volume-title":"Pattern-Oriented Software Architecture \u2014 A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, and Michael Stal. Pattern-Oriented Software Architecture \u2014 A System of Patterns. John Wiley and Sons, Chichester, 1996."},{"key":"3_CR2","first-page":"241","volume-title":"Case Study \u201cProduction Cell\u201e","author":"E. Casais","year":"1994","unstructured":"Eduardo Casais. Eiffel: A reusable framework for production cells developed with an object-oriented programming language. In Claus Lewerentz and Thomasn Lindner, editors, Case Study \u201cProduction Cell\u201e, chapter XV, pages 241\u2013256. FZI, Karlsruhe, 1994."},{"volume-title":"Pattern Languages of Program Design","year":"1995","key":"3_CR3","unstructured":"James O. Coplien and Douglas O. Schmidt, editors. Pattern Languages of Program Design. Addison-Wesley, Reading, Massachusetts, 1995."},{"key":"3_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading\/Massachusetts, 1994."},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","volume-title":"Proceedings of the First Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"T. A. Henzinger","year":"1995","unstructured":"Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. A user guide to HyTech. In Proceedings of the First Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 1019, pages 41\u201371. Springer-Verlag, 1995."},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems","author":"C. Lewerentz","year":"1995","unstructured":"Claus Lewerentz and Thomas Lindner. Formal Development of Reactive Systems. Springer-Verlag, Berlin,Heidelberg, 1995."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T03:57:48Z","timestamp":1550375868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}