{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:34:07Z","timestamp":1743104047629,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031162022"},{"type":"electronic","value":"9783031162039"}],"license":[{"start":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T00:00:00Z","timestamp":1663113600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T00:00:00Z","timestamp":1663113600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-16203-9_10","type":"book-chapter","created":{"date-parts":[[2022,9,13]],"date-time":"2022-09-13T05:07:28Z","timestamp":1663045648000},"page":"160-176","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Features of\u00a0Complex Application of\u00a0the\u00a0Formal Method of\u00a0EVENT-B for\u00a0Development of\u00a0Environmental Management Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9227-4647","authenticated-orcid":false,"given":"Oleh","family":"Mashkov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6322-8892","authenticated-orcid":false,"given":"Oleh","family":"Ilyin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9817-3388","authenticated-orcid":false,"given":"Viktor","family":"Mashkov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7391-0986","authenticated-orcid":false,"given":"Oleh","family":"Boskin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6206-0285","authenticated-orcid":false,"given":"Oksana","family":"Ohnieva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,14]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-76650-6_1","volume-title":"Formal Methods and Software Engineering","author":"J-R Abrial","year":"2007","unstructured":"Abrial, J.-R.: A system development process with event-b and the Rodin platform. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 1\u20133. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76650-6_1"},{"key":"10_CR2","unstructured":"Abrial, J.: Formal Method Course. Z\u00fcrich (2005)"},{"key":"10_CR3","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J Abrial","year":"2009","unstructured":"Abrial, J.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2009)"},{"key":"10_CR4","unstructured":"Analysis Techniques for System Reliability - : Procedure for Failure Modes and Effects Analysis. (FMEA), IEC 60812 (2006)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.7124\/bc.00090F","volume":"32","author":"SA Babichev","year":"2016","unstructured":"Babichev, S.A., Kornelyuk, A.I., Lytvynenko, V.I., Osypenko, V.V.: Computational analysis of microarray gene expression profiles of lung cancer. Biopolymers Cell 32(1), 70\u201379 (2016). https:\/\/doi.org\/10.7124\/bc.00090F","journal-title":"Biopolymers Cell"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Bowen, J.P.: Formal methods in safety-critical standards. In: Proceedings of the Software Engineering Standards Symposium (SESS 1993), Brighton, UK, pp. 168\u2013177. IEEE Computer Society Press (1993). https:\/\/doi.org\/10.1109\/sess.1993.263953","DOI":"10.1109\/sess.1993.263953"},{"key":"10_CR7","unstructured":"Clark, E.M., Gramberg, O., Peled, D.: Verification of program models. Model Checking, Moscow (2002)"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Devyanin, P.N., Leonova, M.A.: The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB. Prikl. Diskr. Mat. 52, 83\u201396 (2021). https:\/\/doi.org\/10.17223\/20710410\/52\/5","DOI":"10.17223\/20710410\/52\/5"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2008.06.008","volume":"214","author":"A Edmunds","year":"2008","unstructured":"Edmunds, A., Butler, M.: Linking event-b and concurrent object-oriented programs. Electron. Not. Theor. Comput. Sci. (ENTCS) 214, 159\u2013182 (2008). https:\/\/doi.org\/10.1016\/j.entcs.2008.06.008","journal-title":"Electron. Not. Theor. Comput. Sci. (ENTCS)"},{"key":"10_CR10","unstructured":"Fatrell, R.T., Schafer, D.F., Schafer, L.I.: Software project management. In: Achieving Optimal Quality at Minimum Cost. Moscow, Williams (2004)"},{"key":"10_CR11","unstructured":"Fault tree analysis (FTA): IEC. 61025 (2006)"},{"key":"10_CR12","first-page":"7","volume":"5","author":"VS Kharchenko","year":"2006","unstructured":"Kharchenko, V.S.: Guaranteeability and guarantee systems: elements of methodology. Radio-electron. Comput. Syst. 5, 7\u201319 (2006)","journal-title":"Radio-electron. Comput. Syst."},{"key":"10_CR13","unstructured":"Lecomte, T.: Formal methods in safety-critical railway systems. In: 10th Brasilian Symposium on Formal Methods, Ouro Preto, Brazil (2007)"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Mashkov, V.: New approach to system level self-diagnosis. In: 11th IEEE International Conference on Computer and Information Technology, CIT 2011, pp. 579\u2013584 (2011). https:\/\/doi.org\/10.1109\/CIT.2011.12","DOI":"10.1109\/CIT.2011.12"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.23939\/mmc2015.01.071","volume":"2","author":"V Mashkov","year":"2015","unstructured":"Mashkov, V., Mashkov, O.: Interpretation of diagnosis problem of system level self-diagnosis. Math. Model. Comput. 2(1), 71\u201376 (2015)","journal-title":"Math. Model. Comput."},{"key":"10_CR16","unstructured":"Schneider, S.P.: The B-Method: An Introduction. Cornerstones of Computing series, Hampshire (2001)"},{"key":"10_CR17","unstructured":"Sterritt, R., Rouff, C.A., Rash, J.L., et al.: Self-properties in NASA missions. In: 4th Int. Workshop on System\/Software Architectures (IWSSA 2005) at International Conference on Software Engineering Research and Practice (SERP 2005), Las-Vegas, Nevada (USA), pp. 66\u201372 (2005)"},{"key":"10_CR18","unstructured":"Tarasyuk, O., Gorbenko, A., Kharchenko, V.: Practical aspects of applying the Invariant-based approach to the formal system development and verification. In: Monograph of System Dependability, 2, Dependability of Networks, Wroclaw: Oficyna Wydawnicza Politechnki Wroclawskiej (2010)"},{"key":"10_CR19","first-page":"166","volume":"2","author":"OM Tarasyuk","year":"2010","unstructured":"Tarasyuk, O.M., Horbenko, A.V., Kharchenko, B.C.: Complexation of formal methods of development and analysis of reliability of Event-B and FME (C), A. Math. Mach. Syst. 2, 166\u2013177 (2010)","journal-title":"Math. Mach. Syst."},{"key":"10_CR20","doi-asserted-by":"publisher","unstructured":"Woodcock, J., Larsen, P., aBicarregui, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1\u201336 (2009). https:\/\/doi.org\/10.1145\/1592434.1592436","DOI":"10.1145\/1592434.1592436"}],"container-title":["Lecture Notes on Data Engineering and Communications Technologies","Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16203-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T15:09:39Z","timestamp":1697641779000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16203-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,14]]},"ISBN":["9783031162022","9783031162039"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16203-9_10","relation":{},"ISSN":["2367-4512","2367-4520"],"issn-type":[{"type":"print","value":"2367-4512"},{"type":"electronic","value":"2367-4520"}],"subject":[],"published":{"date-parts":[[2022,9,14]]},"assertion":[{"value":"14 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISDMCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Scientific Conference \u201cIntellectual Systems of Decision Making and Problem of Computational Intelligence\u201d","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hybrid, Zalizniy Port","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ukraine","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isdmci2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isdmci.ks.ua\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}