{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:50Z","timestamp":1725473150464},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482659"},{"type":"electronic","value":"9783540482673"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916246_10","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T08:01:36Z","timestamp":1164182496000},"page":"189-209","source":"Crossref","is-referenced-by-count":2,"title":["Formal Development of Mechanisms for Tolerating Transient Faults"],"prefix":"10.1007","author":[{"given":"Dubravka","family":"Ili\u0107","sequence":"first","affiliation":[]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[]},{"given":"Colin","family":"Snook","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Dependability: Basic Concepts and Terminology","author":"J.-C. Laprie","year":"1991","unstructured":"Laprie, J.-C.: Dependability: Basic Concepts and Terminology. Springer, Vienna (1991)"},{"key":"10_CR2","volume-title":"Safety-critical computer systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-critical computer systems. Addison-Wesley, Reading (1996)"},{"key":"10_CR3","unstructured":"Johnson, I., Snook, C., Edmunds, A., Butler, M.: Rigorous development of reusable, domain-specific components, for complex applications. In: Proceedings of 3rd International Workshop on Critical Systems Development with UML, Lisbon, pp. 115\u2013129 (2004)"},{"key":"10_CR4","unstructured":"Johnson, I., Snook, C.: Rodin Project Case Study 2: Requirements Specification Document, RODIN Deliverable D4 - Traceable Requirements Document for Case Studies, Section 3, pp. 24\u201352 (2005)"},{"key":"10_CR5","volume-title":"Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach","author":"J. Bosch","year":"2000","unstructured":"Bosch, J.: Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. Addison-Wesley, Reading (2000)"},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R., The, B.: Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"10_CR7","unstructured":"Schneider, S.: The B Method. An introduction, Palgrave (2001)"},{"key":"10_CR8","unstructured":"Atelier, B.: User Manual, Version 3.6, ClearSy, Aix-en-Provence, France (2003)"},{"key":"10_CR9","unstructured":"Snook, C., Poppleton, M., Johnson, I.: The engineering of generic requirements for failure management. In: Proceedings of 11th International Workshop on Requirements Engineering: Foundation for Software Quality, Oporto, pp. 145\u2013160 (2005)"},{"key":"10_CR10","unstructured":"MATISSE Handbook for Correct Systems Construction, EU-project MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering, IST-199-11345 (2003)"},{"key":"10_CR11","unstructured":"Abrial, J.-R.: Event Driven Sequential Program Construction (2001), available at: \n                    \n                      http:\/\/www.atelierb.societe.com\/ressources\/articles\/seq.pdf"},{"key":"10_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-30138-7_22","volume-title":"ComputerSafety, Reliability, and Security - Proceedings of SAFECOMP 2004","author":"L. Laibinis","year":"2004","unstructured":"Laibinis, L., Troubitsyna, E.: Refinement of fault tolerant control systems in B. In: SAFECOMP 2004. LNCS, vol.\u00a0219, pp. 254\u2013268. Springer, Heidelberg (2004)"},{"key":"10_CR14","unstructured":"Snook, C., Walden, M.: Use of U2B for specifying B action systems. In: Proceedings of RCS 2002 \u2013 International workshop on refinement of critical systems: methods, tools and experience, Grenoble, France (2002)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Rebaudengo, M., Reorda, M.S., Torchiano, M., Violante, M.: A Source-to-Source Compiler for Generating Dependable Software. In: IEEE International Workshop on Source Code Analysis and Manipulation, pp. 33\u201342 (2001)","DOI":"10.1109\/SCAM.2001.972664"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: SWIFT: Software Implemented Fault Tolerance. In: Proceedings of the Third International Symposium on Code Generation and Optimization, March 2005, pp. 243\u2013254 (2005)","DOI":"10.1109\/CGO.2005.34"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1109\/12.980007","volume":"51","author":"N. Oh","year":"2002","unstructured":"Oh, N., Mitra, S., McCluskey, E.J.: ED4I: Error Detection by Diverse Data and Duplicated Instructions. IEEE Transactions on Computers\u00a051(2), 180\u2013199 (2002)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Rigorous Development of Complex Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916246_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:42:12Z","timestamp":1619509332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916246_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482659","9783540482673"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11916246_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}