{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,6]],"date-time":"2026-09-06T15:09:20Z","timestamp":1788707360623,"version":"build-2803163510"},"reference-count":69,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100018617","name":"Liaoning Revitalization Talents Program","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100018617","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100013804","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100013804","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2027,1]]},"DOI":"10.1016\/j.ress.2026.113158","type":"journal-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:40:54Z","timestamp":1783698054000},"page":"113158","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"P3","title":["Control logic verification of safety of the intended functionality for maritime autonomous surface ships based on Event-B: A case of autonomous berthing scenario"],"prefix":"10.1016","volume":"277","author":[{"given":"Ruiwen","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoxue","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7575-4518","authenticated-orcid":false,"given":"Weiliang","family":"Qiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongpeng","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bing","family":"Han","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0001","first-page":"1","article-title":"Intelligent shipping: integrating autonomous maneuvering and maritime knowledge in the Singapore-Rotterdam Corridor","volume":"4","author":"Zhao","year":"2025","journal-title":"Commu. Eng."},{"key":"10.1016\/j.ress.2026.113158_bib0002","doi-asserted-by":"crossref","DOI":"10.1016\/j.marpol.2024.106482","article-title":"Key determinants for the commercial feasibility of maritime autonomous surface ships (MASS)","volume":"172","author":"Munim","year":"2025","journal-title":"Mar. Policy"},{"key":"10.1016\/j.ress.2026.113158_bib0003","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2024.110547","article-title":"Letting losses be lessons: human-machine cooperation in maritime transport","volume":"253","author":"Fan","year":"2025","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.113158_bib0004","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2026.107208","article-title":"Comprehensive literature review of systemic safety analysis: trends and development in the maritime sector","volume":"200","author":"Waskito","year":"2026","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0005","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2026.124266","article-title":"Safety analysis of human-machine interaction of autonomous ships using system theory and complex networks","volume":"351","author":"Zhang","year":"2026","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0007","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.117641","article-title":"Optimal path planning for autonomous berthing of unmanned ships in complex port environments","volume":"303","author":"Zhang","year":"2024","journal-title":"Ocean Eng"},{"issue":"11","key":"10.1016\/j.ress.2026.113158_bib0008","doi-asserted-by":"crossref","first-page":"2022","DOI":"10.3390\/jmse12112022","article-title":"The study of risk assessment method for ship berthing based on the \"human-ship-environment\"synergy","volume":"12","author":"Li","year":"2024","journal-title":"J Mar Sci Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0009","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2023.115548","article-title":"A quantitative dynamic risk assessment for ship operation using the fuzzy FMEA: the case of ship berthing\/unberthing operation","volume":"287","author":"Goksu","year":"2023","journal-title":"Ocean Eng"},{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0010","doi-asserted-by":"crossref","first-page":"981","DOI":"10.1007\/s40747-023-01196-z","article-title":"An overview of developments and challenges for unmanned surface vehicle autonomous berthing","volume":"10","author":"Wu","year":"2024","journal-title":"Complex Intell. Syst."},{"issue":"16","key":"10.1016\/j.ress.2026.113158_bib0011","doi-asserted-by":"crossref","first-page":"7714","DOI":"10.3390\/app11167714","article-title":"A hazard analysis approach for the SOTIF in intelligent railway driving assistance systems using STPA and complex network","volume":"11","author":"Zhang","year":"2021","journal-title":"Appl Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0012","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.eng.2023.10.011","article-title":"A survey on an emerging safety challenge for autonomous vehicles: safety of the intended functionality","volume":"33","author":"Wang","year":"2024","journal-title":"Engineering"},{"key":"10.1016\/j.ress.2026.113158_bib0013","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2021.108249","article-title":"Review of techniques and challenges of human and organizational factors analysis in maritime transportation","volume":"219","author":"Wu","year":"2022","journal-title":"Reliab Eng Syst Saf"},{"issue":"2","key":"10.1016\/j.ress.2026.113158_bib0014","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1080\/20464177.2024.2319369","article-title":"Human-autonomy collaboration in supervisory risk control of autonomous ships","volume":"23","author":"Johansen","year":"2024","journal-title":"J. Mar. Eng. Technol."},{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0015","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s00773-021-00815-z","article-title":"Towards approval of autonomous ship systems by their operational envelope","volume":"27","author":"R\u00f8dseth","year":"2022","journal-title":"J Mar Sci Technol"},{"key":"10.1016\/j.ress.2026.113158_bib0016","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2020.107913","article-title":"A ship collision avoidance system for human-machine cooperation during collision avoidance","volume":"217","author":"Huang","year":"2020","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0017","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2022.110555","article-title":"Human\u2013machine cooperation research for navigation of maritime autonomous surface ships: a review and consideration","volume":"246","author":"Liu","year":"2022","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0018","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2020.104808","article-title":"A generic approach to analysing failures in human \u2013 system interaction in autonomy","volume":"129","author":"Ramos","year":"2020","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0019","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2019.106697","article-title":"Human-system concurrent task analysis for maritime autonomous surface ship operation and safety","volume":"195","author":"Ramos","year":"2020","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.113158_bib0020","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.117257","article-title":"Human factor influences on supervisory control of remotely operated and autonomous vessels","volume":"299","author":"Veitch","year":"2024","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0021","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.118635","article-title":"Research on autonomous berthing control of MASS based on real time kinematic","volume":"310","author":"Zhang","year":"2024","journal-title":"Ocean Eng"},{"issue":"15","key":"10.1016\/j.ress.2026.113158_bib0022","doi-asserted-by":"crossref","first-page":"7102","DOI":"10.3390\/app11157102","article-title":"CFD simulation of the safety of unmanned ship berthing under the influence of various factors","volume":"11","author":"Xiao","year":"2021","journal-title":"Appl Sci"},{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0023","doi-asserted-by":"crossref","first-page":"228","DOI":"10.3390\/app15010228","article-title":"Development of automatic berthing support program for autonomous ships","volume":"15","author":"Kang","year":"2025","journal-title":"Appl Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0024","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.119965","article-title":"A multi-sensor fusion approach for maritime autonomous surface ships berthing navigation perception","volume":"316","author":"Lu","year":"2025","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0025","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2021.108620","article-title":"Research on data driven adaptive berthing method and technology","volume":"222","author":"Xiong","year":"2021","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0026","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2021.110390","article-title":"Optimization on planning of trajectory and control of autonomous berthing and unberthing for the realistic port geometry","volume":"245","author":"Miyauchi","year":"2022","journal-title":"Ocean Eng"},{"issue":"12","key":"10.1016\/j.ress.2026.113158_bib0027","doi-asserted-by":"crossref","first-page":"2293","DOI":"10.3390\/jmse12122293","article-title":"Research on the decision-making and control system architecture for autonomous berthing of MASS","volume":"12","author":"Zhang","year":"2024","journal-title":"J Mar Sci Eng"},{"issue":"5","key":"10.1016\/j.ress.2026.113158_bib0028","doi-asserted-by":"crossref","first-page":"903","DOI":"10.3390\/jmse13050903","article-title":"A novel COLREGs-based automatic berthing scheme for autonomous surface vessels","volume":"13","author":"Yuan","year":"2025","journal-title":"J Mar Sci Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0029","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.120115","article-title":"Optimized SARLOS guidance for berthing control of autonomous surface vehicle with collision avoidance","volume":"318","author":"Sun","year":"2025","journal-title":"Ocean Eng"},{"issue":"4","key":"10.1016\/j.ress.2026.113158_bib0030","doi-asserted-by":"crossref","first-page":"114","DOI":"10.3390\/jmse7040114","article-title":"Investigation on a novel support system for automatic ship berthing in marine practice","volume":"7","author":"Nguyen","year":"2019","journal-title":"J Mar Sci Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0031","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2024.106676","article-title":"Toward modeling emergency unmooring of manned and autonomous ships - A combined FRAM plus HFACS-MA approach","volume":"181","author":"Nasur","year":"2025","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0032","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.118972","article-title":"Safety-critical anti-disturbance control of tugs for collaborative berthing","volume":"312","author":"Liu","year":"2024","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0033","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2025.121333","article-title":"Development and experimental validation of an autonomous USV berthing system with transition logic for multiple berthing maneuver strategies","volume":"331","author":"Bang","year":"2025","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0034","doi-asserted-by":"crossref","DOI":"10.1016\/j.ocecoaman.2021.105673","article-title":"Risk assessment for berthing of hazardous cargo vessels using bayesian networks","volume":"210","author":"Khan","year":"2021","journal-title":"Ocean Coast. Manage."},{"key":"10.1016\/j.ress.2026.113158_bib0035","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2024.110015","article-title":"A dynamic-static combination risk analysis framework for berthing\/unberthing operations of maritime autonomous surface ships considering temporal correlation","volume":"245","author":"Luo","year":"2024","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.113158_bib0036","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2023.115211","article-title":"Factor assessment of hazardous cargo ship berthing accidents using an ordered logit regression model","volume":"284","author":"Khan","year":"2023","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0037","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2023.116595","article-title":"A novel method for the evaluation of ship berthing risk using AIS data","volume":"293","author":"Lin","year":"2024","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0038","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2023.106232","article-title":"A system theory (STAMP) based quantitative accident analysis model for complex engineering systems","volume":"166","author":"Ceylan","year":"2023","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0039","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2025.120444","article-title":"Control theory-based fuzzy Fine-Kinney risk assessment for boiler automation system from the maritime autonomous surface ships (MASS) perspective","volume":"322","author":"Ceylan","year":"2025","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0040","article-title":"An integrated system theoretic accident model and process (STAMP)-bayesian network (BN) for safety analysis of water mist system on tanker ships","volume":"154","author":"Ceylan","year":"2025","journal-title":"Appl. Ocean Res."},{"key":"10.1016\/j.ress.2026.113158_bib0041","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2019.106584","article-title":"A systemic hazard analysis and management process for the concept design phase of an autonomous vessel","volume":"191","author":"Valdez Banda","year":"2019","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.113158_bib0042","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2020.104939","article-title":"A framework to model the STPA hierarchical control structure of an autonomous ship","volume":"132","author":"Chaal","year":"2020","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0043","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1016\/j.oceaneng.2018.01.020","article-title":"System-theoretic approach to safety of remotely-controlled merchant vessel","volume":"152","author":"Wr\u00f3bel","year":"2018","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0044","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.ress.2018.05.019","article-title":"Towards the development of a system-theoretic model for safety assessment of autonomous merchant vessels","volume":"178","author":"Wr\u00f3bel","year":"2018","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.113158_bib0045","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2020.107773","article-title":"Towards applicability evaluation of hazard analysis methods for autonomous ships","volume":"214","author":"Zhou","year":"2020","journal-title":"Ocean Eng"},{"issue":"3","key":"10.1016\/j.ress.2026.113158_bib0046","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1111\/risa.12867","article-title":"Hazard analysis and safety requirements for small drone operations: to what extent do popular drones embed safety?","volume":"38","author":"Plioutsias","year":"2018","journal-title":"Risk Anal"},{"key":"10.1016\/j.ress.2026.113158_bib0047","doi-asserted-by":"crossref","DOI":"10.1016\/j.ocecoaman.2023.107003","article-title":"A framework to identify failure scenarios in the control mode transition process for autonomous ships with dynamic autonomy","volume":"249","author":"Yang","year":"2024","journal-title":"Ocean Coast. Manage."},{"key":"10.1016\/j.ress.2026.113158_bib0048","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2023.109388","article-title":"A novel system-theoretic approach for human-system collaboration safety: case studies on two degrees of autonomy for autonomous ships","volume":"237","author":"Cheng","year":"2023","journal-title":"Reliab Eng Syst Saf"},{"issue":"7","key":"10.1016\/j.ress.2026.113158_bib0049","doi-asserted-by":"crossref","first-page":"1129","DOI":"10.3390\/jmse12071129","article-title":"Risk performance analysis on navigation of MASS via a hybrid framework of STPA and HMM: evidence from the human\u2013machine co-driving mode","volume":"12","author":"Li","year":"2024","journal-title":"J Mar Sci Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0050","doi-asserted-by":"crossref","DOI":"10.1016\/j.cose.2025.104559","article-title":"STPA-Cyber: a semi-automated cyber risk assessment framework for maritime cybersecurity","volume":"157","author":"Yousaf","year":"2025","journal-title":"Comput Secur"},{"key":"10.1016\/j.ress.2026.113158_bib0051","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2021.108569","article-title":"A system-theoretic approach to safety and security co-analysis of autonomous ships","volume":"222","author":"Zhou","year":"2021","journal-title":"Ocean Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0052","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2023.109195","article-title":"Development and testing of a risk-based control system for autonomous ships","volume":"234","author":"Johansen","year":"2023","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.113158_bib0053","doi-asserted-by":"crossref","first-page":"76351","DOI":"10.1109\/ACCESS.2022.3192436","article-title":"Synthesis of a controller algorithm for safety-critical systems","volume":"10","author":"Souza","year":"2022","journal-title":"IEEE Access"},{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0054","article-title":"Safety assessment of the reconfigurable integrated modular avionics based on STPA","volume":"2021","author":"Zhao","year":"2021","journal-title":"Int. J. Aerospace Eng."},{"issue":"6","key":"10.1016\/j.ress.2026.113158_bib0055","doi-asserted-by":"crossref","first-page":"1058","DOI":"10.3390\/jmse13061058","article-title":"Towards hazard analysis result verification for autonomous ships: a formal verification method based on timed automata","volume":"13","author":"Zhou","year":"2025","journal-title":"J Mar Sci Eng"},{"key":"10.1016\/j.ress.2026.113158_bib0056","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1016\/j.ssci.2018.05.009","article-title":"System safety assessment based on STPA and model checking","volume":"109","author":"Dakwat","year":"2018","journal-title":"Saf Sci"},{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0057","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3524052","article-title":"A refinement-based formal development of cyber-physical railway signalling systems","volume":"35","author":"A\u00eft-Ameur","year":"2023","journal-title":"Form. Asp. Comput."},{"issue":"3","key":"10.1016\/j.ress.2026.113158_bib0058","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10009-024-00749-y","article-title":"Modeling of a speed control system using event-B","volume":"26","author":"Mammar","year":"2024","journal-title":"Int. J. Softw. Tools Te."},{"issue":"1","key":"10.1016\/j.ress.2026.113158_bib0059","article-title":"Ensuring the correctness and reliability of CBPS system using event-B. Softw","volume":"35","author":"Hussein Toman","year":"2025","journal-title":"Test. Verif. Rel."},{"key":"10.1016\/j.ress.2026.113158_bib0060","doi-asserted-by":"crossref","DOI":"10.1016\/j.sysarc.2022.102798","article-title":"Formal domain-driven system development in event-B: application to interactive critical systems","volume":"135","author":"Mendil","year":"2023","journal-title":"J. Syst. Architect."},{"key":"10.1016\/j.ress.2026.113158_bib0061","series-title":"2nd IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)","first-page":"174","article-title":"Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology","author":"Howard","year":"2017"},{"key":"10.1016\/j.ress.2026.113158_bib0062","series-title":"47th Annual Computers, Software, and Applications Conference (COMPSAC)","first-page":"1697","article-title":"A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems","author":"Alotaibi","year":"2023"},{"key":"10.1016\/j.ress.2026.113158_bib0063","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2024.106744","article-title":"Hierarchical safety analysis and formal verification for safety-critical systems using STAMP and event-B","volume":"184","author":"Chen","year":"2025","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0064","series-title":"30th Formal Methods for Industrial Critical Systems (FMICS)","first-page":"185","article-title":"Promise-driven modeling: a structured approach for modeling cyber-physical systems","author":"Schaber","year":"2026"},{"key":"10.1016\/j.ress.2026.113158_bib0065","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2020.105139","article-title":"An STPA-based formal composition framework for trustworthy autonomous maritime systems","volume":"136","author":"Dghaym","year":"2021","journal-title":"Saf Sci"},{"key":"10.1016\/j.ress.2026.113158_bib0066","author":"Leveson"},{"key":"10.1016\/j.ress.2026.113158_bib0067","series-title":"Modeling in event-b: system and software engineering","author":"Abrial","year":"2010"},{"key":"10.1016\/j.ress.2026.113158_bib0068","author":"Michael"},{"key":"10.1016\/j.ress.2026.113158_bib0069","series-title":"FME 2003: Formal Methods","first-page":"855","article-title":"ProB: a model checker for B","author":"Leuschel","year":"2003"},{"key":"10.1016\/j.ress.2026.113158_bib0070","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2024.117652","article-title":"COLREG and MASS: analytical review to identify research trends and gaps in the development of autonomous collision avoidance","volume":"302","author":"Chang","year":"2024","journal-title":"Ocean Eng"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832026009671?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832026009671?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,9,6]],"date-time":"2026-09-06T14:17:08Z","timestamp":1788704228000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832026009671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2027,1]]},"references-count":69,"alternative-id":["S0951832026009671"],"URL":"https:\/\/doi.org\/10.1016\/j.ress.2026.113158","relation":{},"ISSN":["0951-8320"],"issn-type":[{"value":"0951-8320","type":"print"}],"subject":[],"published":{"date-parts":[[2027,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Control logic verification of safety of the intended functionality for maritime autonomous surface ships based on Event-B: A case of autonomous berthing scenario","name":"articletitle","label":"Article Title"},{"value":"Reliability Engineering & System Safety","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ress.2026.113158","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"113158"}}