{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:44Z","timestamp":1725494684854},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_7","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:26:02Z","timestamp":1194956762000},"page":"58-69","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Faults of Distributed, Reactive Systems"],"prefix":"10.1007","author":[{"given":"Max","family":"Breitling","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"7_CR1","unstructured":"Anish Arora and Sandeep Kulkarni. Detectors and correctors: A theory of fault-tolerance components. IEEE Transactions on Software Engineering, 1999."},{"key":"7_CR2","unstructured":"Max Breitling. Modellierung und Beschreibung von Soll-\/Ist-Abweichungen. In Katharina Spies and Bernhard Sch\u00e4tz, editors, Formale Beschreibungstechniken f\u00fcr verteilte Systeme. FBT\u201999, pages 35\u201344. Herbert Utz Verlag, 1999."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-45499-3_4","volume-title":"AMAST2000-Algebraic Methodology And Software Technology","author":"M. Breitling","year":"2000","unstructured":"Max Breitling and Jan Philipps. Step by step to histories. In T. Rus, editor, AMAST2000-Algebraic Methodology And Software Technology, LNCS 1816, pages 11\u201325. Springer, 2000."},{"key":"7_CR4","unstructured":"Max Breitling and Jan Philipps. Verification Diagrams for Dataflow Properties. Technical Report TUM-I0005, Technische Universit\u00e4t M\u00fcnchen, 2000."},{"key":"7_CR5","unstructured":"Manfred Broy and Ketil Stolen. Specification and Development of Interactive Systems-FOCUS on Streams, Interfaces and Refinement. Springer, 2000. To appear."},{"key":"7_CR6","unstructured":"Felix C. G\u00e4rtner. A survey of transformational approaches to the specification and verification of fault-tolerant systems. Technical Report TUD-BS-1999-04, Darmstadt University of Technology, Darmstadt, Germany, April 1999."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/3-540-61648-9_58","volume-title":"FTRTFT\u201996","author":"F. Huber","year":"1996","unstructured":"Franz Huber, Bernhard Sch\u00e4tz, Alexander Schmidt, and Katharina Spies. Auto-Focus \u2014 A Tool for Distributed Systems Specification. In FTRTFT\u201996, LNCS 1135, pages 467\u2013470. Springer, 1996."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","volume-title":"On bisimulation, fault-monotonicity and provable fault-tolerance","author":"T. Janowski","year":"1997","unstructured":"Tomasz Janowski. On bisimulation, fault-monotonicity and provable fault-tolerance. In 6th International Conference on Algebraic Methodology and Software Technology. LNCS, Springer, 1997."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"J.C. Laprie. Dependability: Basic Concepts and Terminology, volume 5 of Dependable Computing and Fault-Tolerant Systems. Springer, 1992.","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"P.A. Lee and T. Anderson. Fault Tolerance \u2014 Principles and Practice. Springer, second, revised edition, 1990.","DOI":"10.1007\/978-3-7091-8990-0_3"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Zhiming Liu and Mathai Joseph. Specification and verification of recovery in asynchronous communicating systems. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 137\u2013166. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3220-0_6"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Doron Peled and Mathai Joseph. A compositional framework for fault-tolerance by specification transformation. Theoretical Computer Science, 1994.","DOI":"10.1016\/0304-3975(94)90166-X"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:01:54Z","timestamp":1684072914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}