{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:03:28Z","timestamp":1746331408836,"version":"3.40.4"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319083100"},{"type":"electronic","value":"9783319083117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08311-7_3","type":"book-chapter","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T16:54:00Z","timestamp":1402419240000},"page":"11-26","source":"Crossref","is-referenced-by-count":4,"title":["Rigorous Development of Fault-Tolerant Systems through Co-refinement"],"prefix":"10.1007","author":[{"given":"Ilya","family":"Lopatkin","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)","key":"3_CR1","DOI":"10.1017\/CBO9781139195881"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-10373-5_31","volume-title":"Formal Methods and Software Engineering","author":"F.L. Dotti","year":"2009","unstructured":"Dotti, F.L., Iliasov, A., Ribeiro, L., Romanovsky, A.: Modal systems: Specification, refinement and realisation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 601\u2013619. Springer, Heidelberg (2009)"},{"unstructured":"FP7 DEPLOY Project: Industrial deployment of system engineering methods providing high dependability and productivity (2008 - 2012), http:\/\/www.deploy-project.eu\/","key":"3_CR4"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-05089-3_12","volume-title":"FM 2009: Formal Methods","author":"R. Jeffords","year":"2009","unstructured":"Jeffords, R., Heitmeyer, C., Archer, M., Leonard, E.: A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 173\u2013189. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Laibinis, L., Troubitsyna, E.: Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. In: Proceedings of the 2nd International Conference on Software Engineering and Formal Methods, SEFM 2004, pp. 346\u2013355. IEEE Computer Society (September 2004)","key":"3_CR6","DOI":"10.1109\/SEFM.2004.1347539"},{"key":"3_CR7","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":"Computer Safety, Reliability, and Security","author":"L. Laibinis","year":"2004","unstructured":"Laibinis, L., Troubitsyna, E.: Refinement of Fault Tolerant Control Systems in B. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 254\u2013268. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer-Verlag New York, Inc. (1990)","key":"3_CR8","DOI":"10.1007\/978-3-7091-8990-0_3"},{"doi-asserted-by":"crossref","unstructured":"Lopatkin, I.: A Method for Rigorous Development of Fault-Tolerant Systems. PhD thesis, School of Computing Science, Newcastle University (2013)","key":"3_CR9","DOI":"10.1007\/978-3-319-08311-7_3"},{"doi-asserted-by":"crossref","unstructured":"Lopatkin, I., Iliasov, A., Romanovsky, A.: Rigorous Development of Dependable Systems using Fault Tolerance Views. In: Proceedings of the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, pp. 180\u2013189 (December 2011)","key":"3_CR10","DOI":"10.1109\/ISSRE.2011.13"},{"doi-asserted-by":"crossref","unstructured":"Lopatkin, I., Iliasov, A., Romanovsky, A., Prokhorova, Y., Troubitsyna, E.: Patterns for Representing FMEA in Formal Specification of Control Systems. In: The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011), Boca Raton, FL, USA, pp. 146\u2013151 (November 2011)","key":"3_CR11","DOI":"10.1109\/HASE.2011.10"},{"unstructured":"Wiki page for Modal and Fault Tolerance Views language and tool support, http:\/\/wiki.event-b.org\/index.php\/Mode\/FT_Views","key":"3_CR12"},{"doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Computing Surveys\u00a041(4), 19:1\u201319:36 (2009)","key":"3_CR13","DOI":"10.1145\/1592434.1592436"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08311-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:05:39Z","timestamp":1746263139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08311-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319083100","9783319083117"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08311-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}