{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:26:57Z","timestamp":1742966817888,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031331626"},{"type":"electronic","value":"9783031331633"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-33163-3_19","type":"book-chapter","created":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T12:45:38Z","timestamp":1684154738000},"page":"245-253","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Building Specifications in\u00a0the\u00a0Event-B Institution: A Summary"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7708-3877","authenticated-orcid":false,"given":"Marie","family":"Farrell","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3886-4675","authenticated-orcid":false,"given":"Rosemary","family":"Monahan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6770-3910","authenticated-orcid":false,"given":"James F.","family":"Power","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,5,15]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, Cambridge (2010)","edition":"1"},{"issue":"1\u20132","key":"19_CR2","first-page":"1","volume":"77","author":"JR Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-B. Fund. Inform. 77(1\u20132), 1\u201328 (2007)","journal-title":"Fund. Inform."},{"key":"19_CR3","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-319-07512-9_9","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"R Banach","year":"2014","unstructured":"Banach, R.: The landing gear case study in hybrid event-B. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 126\u2013141. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_9"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-319-33600-8_32","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"R Banach","year":"2016","unstructured":"Banach, R.: Hemodialysis machine in hybrid event-B. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 376\u2013393. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_32"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-030-76384-8_4","volume-title":"NASA Formal Methods","author":"H Bourbouh","year":"2021","unstructured":"Bourbouh, H., et al.: Integrating formal verification and assurance: an inspection rover case study. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 53\u201371. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_4"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-319-91271-4_23","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"D Dghaym","year":"2018","unstructured":"Dghaym, D., Poppleton, M., Snook, C.: Diagram-led formal modelling using iUML-B for hybrid ERTMS level 3. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 338\u2013352. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_23"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Farrell, M., Luckcuck, M., Fisher, M.: Robotics and integrated formal methods: necessity meets opportunity. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 161\u2013171. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_10, http:\/\/arxiv.org\/abs\/1805.11996","DOI":"10.1007\/978-3-319-98938-9_10"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-72044-9_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M Farrell","year":"2017","unstructured":"Farrell, M., Monahan, R., Power, J.F.: An institution for event-B. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 104\u2013119. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72044-9_8"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-66197-1_10","volume-title":"Software Engineering and Formal Methods","author":"M Farrell","year":"2017","unstructured":"Farrell, M., Monahan, R., Power, J.F.: Specification clones: an empirical study of the structure of event-B specifications. In: Cimatti, A., Sirjani, M. (eds.) SEFM 2017. LNCS, vol. 10469, pp. 152\u2013167. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66197-1_10"},{"key":"19_CR10","doi-asserted-by":"publisher","unstructured":"Farrell, M., Monahan, R., Power, J.F.: Building specifications in the event-B institution. Log. Methods Comput. Sci. 18 (2022). https:\/\/doi.org\/10.46298\/lmcs-18(4:4)2022","DOI":"10.46298\/lmcs-18(4:4)2022"},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-87603-8_11","volume-title":"Abstract State Machines, B and Z","author":"S Hallerstede","year":"2008","unstructured":"Hallerstede, S.: On the purpose of event-B proof obligations. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 125\u2013138. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8_11"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-46675-9_1","volume-title":"Fundamental Approaches to Software Engineering","author":"A Knapp","year":"2015","unstructured":"Knapp, A., Mossakowski, T., Roggenbach, M., Glauer, M.: An institution for simple UML state machines. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 3\u201318. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_1"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71998-4_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Roggenbach, M.: Structured CSP \u2013 a process algebra as an institution. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 92\u2013110. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71998-4_6"},{"key":"19_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/b96103","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/b96103"},{"key":"19_CR16","unstructured":"OMG: UML Infrastructure Specification, v2.4.1. Specification formal\/2011-08-05, Object Management Group (2011)"},{"key":"19_CR17","unstructured":"OMG: UML Superstructure Specification, v2.4.1. Specification formal\/2011-08-06, Object Management Group (2011)"},{"key":"19_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-17336-3"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s00165-012-0265-0","volume":"26","author":"S Schneider","year":"2014","unstructured":"Schneider, S., Treharne, H., Wehrheim, H.: The behavioural semantics of event-B refinement. Formal Aspects Comput. 26, 251\u2013280 (2014)","journal-title":"Formal Aspects Comput."}],"container-title":["Lecture Notes in Computer Science","Rigorous State-Based Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-33163-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T08:03:46Z","timestamp":1686384226000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33163-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031331626","9783031331633"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33163-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"15 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ABZ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Rigorous State-Based Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nancy","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"abz2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/abz2023.loria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}