{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:57:14Z","timestamp":1725544634120},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340638"},{"type":"electronic","value":"9783540340645"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11751113_17","type":"book-chapter","created":{"date-parts":[[2006,5,17]],"date-time":"2006-05-17T09:06:08Z","timestamp":1147856768000},"page":"234-249","source":"Crossref","is-referenced-by-count":0,"title":["Formal Development of Reactive Fault Tolerant Systems"],"prefix":"10.1007","author":[{"given":"Linas","family":"Laibinis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"17_CR2","unstructured":"Abrial, J.-R.: Event Driven Sequential Program Construction (2000), \n                  \n                    http:\/\/www.matisse.qinetiq.com"},{"key":"17_CR3","volume-title":"Dependable Computing and Fault Tolerant Systems","author":"T. Anderson","year":"1990","unstructured":"Anderson, T., Lee, P.A.: Fault Tolerance: Principles and Practice. In: Dependable Computing and Fault Tolerant Systems, vol.\u00a03. Springer, Heidelberg (1990)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Avizienis, A.: Towards Systematic Design of Fault-Tolerant Systems. Computer\u00a030(4) (1997)","DOI":"10.1109\/2.585154"},{"key":"17_CR5","unstructured":"Cristian, F.: Exception Handling. In: Anderson, T. (ed.) Dependability of Resilient Computers, BSP Professional Books (1989)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Ferreira, L., Rubira, C., de Lemos, R.: Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In: Proc. of HASE, USA (2001)","DOI":"10.1109\/HASE.2001.966819"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Kulkarni, S., Arora, A.: Automating the addition of fault-tolerance. In: Formal Techniques in Real-time and Fault-tolerant Systems, Pune, India (2000)","DOI":"10.1007\/3-540-45352-0_9"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-39979-7_4","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"M. Broy","year":"2003","unstructured":"Broy, M.: Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 48\u201361. Springer, Heidelberg (2003)"},{"key":"17_CR9","unstructured":"Laibinis, L., Troubitsyna, E.: Formal Service-Oriented Development of Fault Tolerant Systems. Technical Report 648, TUCS (December 2004)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-45352-0_6","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"K. Lano","year":"2000","unstructured":"Lano, K., Clark, D., Androutsopoulos, K., Kan, P.: Invariant-Based Synthesis of Fault-tolerant Systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 46\u201357. Springer, Heidelberg (2000)"},{"key":"17_CR11","volume-title":"Dependability: Basic Concepts and Terminology","author":"J.-C. Laprie","year":"1991","unstructured":"Laprie, J.-C.: Dependability: Basic Concepts and Terminology. Springer, Heidelberg (1991)"},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/BF01211393","volume":"4","author":"Z. Liu","year":"1992","unstructured":"Liu, Z., Joseph, M.: Transformations of programs for fault-tolerance. Formal Aspects of Computing\u00a04(5), 442\u2013469 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"17_CR13","unstructured":"MATISSE Handbook for Correct Systems Construction (2003)"},{"key":"17_CR14","volume-title":"Pattern Languages of Program Design","author":"B. Rubel","year":"1995","unstructured":"Rubel, B.: Patterns for Generating a Layered Architecture. In: Coplien, J.O., Schmidt, D.C. (eds.) Pattern Languages of Program Design, Addison-Wesley, Reading (1995)"},{"key":"17_CR15","unstructured":"Schneider, S.: The B Method. An introduction, Palgrave (2001)"},{"key":"17_CR16","unstructured":"Steria, Aix-en-Provence, France. Atelier B, User and Reference Manuals (2001)"},{"key":"17_CR17","volume-title":"Safety-critical computer systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-critical computer systems. Addison-Wesley, Reading (1996)"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11751113_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T04:56:52Z","timestamp":1552366612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11751113_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340638","9783540340645"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11751113_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}