{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T04:02:31Z","timestamp":1775880151396,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642336775","type":"print"},{"value":"9783642336782","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_18","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"210-222","source":"Crossref","is-referenced-by-count":19,"title":["Formal Development and Assessment of a Reconfigurable On-board Satellite System"],"prefix":"10.1007","author":[{"given":"Anton","family":"Tarasyuk","sequence":"first","affiliation":[]},{"given":"Inna","family":"Pereverzeva","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[]},{"given":"Timo","family":"Latvala","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Nummila","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"18_CR2","unstructured":"BepiColombo: ESA Media Center, Space Science, http:\/\/www.esa.int\/esaSC\/SEMNEM3MDAF_0_spk.html"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1016\/j.jss.2006.07.039","volume":"80","author":"M. Caporuscio","year":"2007","unstructured":"Caporuscio, M., Di Marco, A., Inverardi, P.: Model-Based System Reconfiguration for Dynamic Performance Management. J. Syst. Softw.\u00a080, 455\u2013473 (2007)","journal-title":"J. Syst. Softw."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"de Castro Guerra, P.A., Rubira, C.M.F., de Lemos, R.: A Fault-Tolerant Software Architecture for Component-Based Systems. In: Architecting Dependable Systems, pp. 129\u2013143. Springer (2003)","DOI":"10.1007\/3-540-45177-3_6"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Sawyer, P., Bencomo, N., Cheng, B., Hughes, D.: Goal-Based Modeling of Dynamically Adaptive System Requirements. In: ECBS 2008, pp. 36\u201345. IEEE Computer Society (2008)","DOI":"10.1109\/ECBS.2008.22"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Grunske, L.: Specification Patterns for Probabilistic Quality Properties. In: ICSE 2008, pp. 31\u201340. ACM (2008)","DOI":"10.1145\/1368088.1368094"},{"key":"18_CR7","unstructured":"Kelly, T.P., Weaver, R.A.: The Goal Structuring Notation \u2013 A Safety Argument Notation. In: DSN 2004, Workshop on Assurance Cases (2004)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: RE 2001, pp. 249\u2013263. IEEE Computer Society (2001)","DOI":"10.1109\/ISRE.2001.948567"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/MS.2006.35","volume":"23","author":"R. Lemos de","year":"2006","unstructured":"de Lemos, R., de Castro Guerra, P.A., Rubira, C.M.F.: A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software\u00a023, 80\u201387 (2006)","journal-title":"IEEE Software"},{"key":"18_CR11","unstructured":"Rodin: Event-B Platform, http:\/\/www.event-b.org\/"},{"key":"18_CR12","unstructured":"Space Engineering: Ground Systems and Operations \u2013 Telemetry and Telecommand Packet Utilization: ECSS-E-70-41A. ECSS Secretariat (January 30, 2003), http:\/\/www.ecss.nl\/"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Tarasyuk, A., Pereverzeva, I., Troubitsyna, E., Latvala, T., Nummila, L.: Formal Development and Assessment of a Reconfigurable On-board Satellite System. Tech. Rep. 1038, Turku Centre for Computer Science (2012)","DOI":"10.1007\/978-3-642-33678-2_18"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems, pp. 459\u2013472. IGI Global (2011)","DOI":"10.4018\/978-1-60960-747-0.ch019"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-30729-4_17","volume-title":"Integrated Formal Methods","author":"A. Tarasyuk","year":"2012","unstructured":"Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol.\u00a07321, pp. 237\u2013252. Springer, Heidelberg (2012)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An Automated Formal Approach to Managing Dynamic Reconfiguration. In: ASE 2006, pp. 18\u201322. Springer (2006)","DOI":"10.1109\/ASE.2006.12"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/503271.503213","volume":"26","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.: A Graph Based Architectural Reconfiguration Language. SIGSOFT Softw. Eng. Notes\u00a026, 21\u201332 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"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-642-33678-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T23:26:48Z","timestamp":1744068408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}