{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:33Z","timestamp":1725566193537},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_18","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T20:10:34Z","timestamp":1284840634000},"page":"210-223","source":"Crossref","is-referenced-by-count":4,"title":["Safety Requirements and Fault Trees Using Retrenchment"],"prefix":"10.1007","author":[{"given":"R.","family":"Banach","sequence":"first","affiliation":[]},{"given":"R.","family":"Cross","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-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":"18_CR2","unstructured":"Banach, R.: Retrenchment and system properties (submitted)"},{"key":"18_CR3","unstructured":"Banach, R., Jeske, C.: Output retrenchments, defaults, stronger compositions, feature engineering (submitted)"},{"key":"18_CR4","unstructured":"Banach, R., Poppleton, M.: Engineering and theoretical underpinnings of retrenchment (submitted)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BFb0053358","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"R. Banach","year":"1998","unstructured":"Banach, R., Poppleton, M.: Retrenchment: An engineering variation on refinement. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 129\u2013147. Springer, Heidelberg (1998)"},{"key":"18_CR6","first-page":"457","volume-title":"Proc. IFM-1999","author":"R. Banach","year":"1999","unstructured":"Banach, R., Poppleton, M.: Retrenchment and punctured simulation. In: Araki, Gallway, Taguchi (eds.) Proc. IFM-1999, pp. 457\u2013476. Springer, Heidelberg (1999)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/s001650050056","volume":"11","author":"R. Banach","year":"1999","unstructured":"Banach, R., Poppleton, M.: Sharp retrenchment, modulated refinement and punctured simulation. Form. Asp. Comp.\u00a011, 498\u2013540 (1999)","journal-title":"Form. Asp. Comp."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/s00766-002-0157-6","volume":"8","author":"R. Banach","year":"2003","unstructured":"Banach, R., Poppleton, M.: Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering Journal\u00a08, 266\u2013288 (2003)","journal-title":"Requirements Engineering Journal"},{"key":"18_CR9","volume-title":"Electronic Workshops in Computing, . Proc. Third BCS-FACS Northern Formal Methods Workshop","author":"E. Boiten","year":"1998","unstructured":"Boiten, E., Derrick, J.: Io-refinement in Z. In: Evans, A., Duke, D., Clark, T. (eds.) Electronic Workshops in Computing, Proc. Third BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, -Verlag, September 1998. Springer, Heidelberg (1998)"},{"key":"18_CR10","first-page":"93","volume-title":"Safety of Computer Control Systems (SAFECOMP)","author":"J.P. Bowen","year":"1992","unstructured":"Bowen, J.P., Stavridou, S.: Formal methods and software safety. In: Frey, H.H. (ed.) Safety of Computer Control Systems (SAFECOMP), Proc. IFAC Symposium, Zurich, Switzerland, October 1992, pp. 93\u201398. Pergamon Press, Oxford (1992)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The FSAP\/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 49\u201362. Springer, Heidelberg (2003)"},{"key":"18_CR12","unstructured":"Bozzano, M., Villafiorita, A.: Integrating fault tree analysis with event ordering information. In: Proc. ESREL 2003, pp. 247\u2013254 (2003)"},{"key":"18_CR13","unstructured":"Bozzano, M., Villafiorita, A., et al.: ESACS: An integrated methodology for design and safety analysis of complex systems. In: Proc. ESREL 2003, pp. 237\u2013245 (2003)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-45236-2_13","volume-title":"FME 2003: Formal Methods","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A., et al.: Improving safety assessment of complex systems: An industrial case study. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 208\u2013222. Springer, Heidelberg (2003)"},{"key":"18_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement Model-Oriented Proof methods and their Comparison","author":"W.P. Roever de","year":"1998","unstructured":"de Roever, W.P., Engelhardt, K.: Data Refinement Model-Oriented Proof methods and their Comparison. Cambridge University Press, Cambridge (1998)"},{"key":"18_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer, UK (2001)"},{"key":"18_CR17","volume-title":"The Way of Z","author":"J. Jacky","year":"1997","unstructured":"Jacky, J.: The Way of Z. Cambridge University Press, Cambridge (1997)"},{"key":"18_CR18","first-page":"498","volume-title":"Proc. 1995 Asia-Pacific Software Engineering Conference (APSEC 1995)","author":"S. Liu","year":"1995","unstructured":"Liu, S., Adams, R.: Limitations of formal methods and an approach to improvement. In: Proc. 1995 Asia-Pacific Software Engineering Conference (APSEC 1995), December 1995, pp. 498\u2013507. IEEE Computer Society Press, Brisbane (1995)"},{"issue":"1","key":"18_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0164-1212(94)00082-X","volume":"28","author":"S. Liu","year":"1995","unstructured":"Liu, S., Stavridou, V., Duterte, B.: The practice of formal methods in safetycritical systems. The Journal of Systems and Software\u00a028(1), 77\u201387 (1995)","journal-title":"The Journal of Systems and Software"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1007\/978-3-540-45236-2_44","volume-title":"FME 2003: Formal Methods","author":"M. Poppleton","year":"2003","unstructured":"Poppleton, M., Banach, R.: Structuring retrenchments in B by decomposition. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 814\u2013833. Springer, Heidelberg (2003)"},{"key":"18_CR21","volume-title":"Proc. 9th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2004)","author":"M. Poppleton","year":"2004","unstructured":"Poppleton, M., Banach, R.: Requirements validation by lifting retrenchments in B. In: Proc. 9th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2004), Florence, Italy. IEEE Computer Society Press, Los Alamitos (2004) (to appear)"},{"key":"18_CR22","unstructured":"Poppleton, M.R.: Formal methods for Continuous Systems: Liberalising Refinement in B. PhD thesis, University of Manchester, Computer Science Dept (2001)"},{"key":"18_CR23","volume-title":"An Introduction to Formal Specification and Z","author":"B. Potter","year":"1996","unstructured":"Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z, 2nd edn. Prentice Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"18_CR24","unstructured":"Schneider, S.: The B-Method: An Introduction. PALGRAVE (2001)"},{"key":"18_CR25","volume-title":"Program Development by Refinement: Case Studies Using the B-Method","author":"E. Sekerinski","year":"1998","unstructured":"Sekerinski, E., Sere, K.: Program Development by Refinement: Case Studies Using the B-Method. Springer, Heidelberg (1998)"},{"key":"18_CR26","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"18_CR27","volume-title":"Using Z, Specification, Refinement and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z, Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)"},{"key":"18_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"VDM \u201990. VDM and Z - Formal Methods in Software Development","author":"J.C.P. Woodcock","year":"1990","unstructured":"Woodcock, J.C.P., Morgan, C.C.: Refinement of state-based concurrent systems. In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol.\u00a0428. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:51:23Z","timestamp":1619999483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}