{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T23:59:41Z","timestamp":1774051181323,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642408939","type":"print"},{"value":"9783642408946","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40894-6_7","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T10:39:24Z","timestamp":1378982364000},"page":"79-93","source":"Crossref","is-referenced-by-count":4,"title":["A Case Study in Refinement-Based Modelling of a Resilient Control System"],"prefix":"10.1007","author":[{"given":"Yuliya","family":"Prokhorova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Laprie, J.: From Dependability to Resilience. In: Proceedings of the 38th IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. G8\u2013G9 (2008)"},{"key":"7_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/BFb0027252","volume-title":"Formal Methods for Industrial Applications","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: Steam-Boiler Control Specification Problem. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol.\u00a01165, pp. 500\u2013509. Springer, Heidelberg (1996)"},{"key":"7_CR4","unstructured":"Event-B and the Rodin Platform (2013), \n                    \n                      http:\/\/www.event-b.org\/"},{"key":"7_CR5","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Harlow (1996)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Prokhorova, Y., Troubitsyna, E., Laibinis, L.: A Case Study in Refinement-Based Modelling of a Resilient Control System. Technical Report TUCS 1086 (2013)","DOI":"10.1007\/978-3-642-40894-6_7"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Lopatkin, I., Prokhorova, Y., Troubitsyna, E., Iliasov, A., Romanovsky, A.: Patterns for Representing FMEA in Formal Specification of Control Systems. Technical Report TUCS 1003 (2011)","DOI":"10.1109\/HASE.2011.10"},{"key":"7_CR8","unstructured":"Ji, K., Lu, Y., Liao, L., Song, Z., Wei, D.: Prognostics Enabled Resilient Control for Model-Based Building Automation Systems. In: Proceedings of Building Simulation 2011: 12th Conference of International Building Performance Simulation Association, pp. 286\u2013293 (2011)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-36249-1_1","volume-title":"Assurances for Self-Adaptive Systems","author":"M. Cordy","year":"2013","unstructured":"Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.-Y.: Model Checking Adaptive Software with Featured Transition Systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol.\u00a07740, pp. 1\u201329. Springer, Heidelberg (2013)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40894-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:34:04Z","timestamp":1558074844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40894-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408939","9783642408946"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40894-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}