{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:28:24Z","timestamp":1730258904380,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:00:00Z","timestamp":1669161600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:00:00Z","timestamp":1669161600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,11,23]]},"DOI":"10.1109\/icsrs56243.2022.10067322","type":"proceedings-article","created":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T19:48:19Z","timestamp":1679428099000},"page":"217-225","source":"Crossref","is-referenced-by-count":0,"title":["Functional Modeling and Reasoning about Hazards"],"prefix":"10.1109","author":[{"given":"Jing","family":"Wu","sequence":"first","affiliation":[{"name":"Technical University of Denmark,Department of Electrical and Photonics Engineering,Lyngby,Denmark"}]},{"given":"Morten","family":"Lind","sequence":"additional","affiliation":[{"name":"Technical University of Denmark,Department of Electrical and Photonics Engineering,Lyngby,Denmark"}]},{"given":"Xinxin","family":"Zhang","sequence":"additional","affiliation":[{"name":"Technical University of Denmark,Department of Electrical and Photonics Engineering,Lyngby,Denmark"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781315210469-228"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.psep.2020.10.046"},{"key":"ref3","article-title":"Modeling Goals and Functions of Control and Safety Systems-theoretical foundations and extensions of MFM","author":"Lind","year":"2005","journal-title":"Nordisk Kernesikkerhedsforskning"},{"issue":"1","key":"ref4","first-page":"1","article-title":"Modeling Safety Barriers and Defense in Depth with Multilevel Flow Modeling","volume-title":"Proceedings of First International Symposium on Socially and Technically Symbiotic Systems (STSS)","volume":"2","author":"Lind"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2020.107197"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/bs.mcps.2022.04.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.852"},{"issue":"160","key":"ref8","first-page":"1","article-title":"Managing the Hazards of Flare Disposal Systems","volume-title":"Institution of Chemical Engineers Symposium Series","author":"Denham"},{"year":"1997","key":"ref9","article-title":"The Explosion and Fires at the Texaco Refinery, Miford Haven, 24 July 1994"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1108\/09653560810855847"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.apergo.2021.103542"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/9781119490357"},{"year":"2018","key":"ref13","article-title":"Hazard Taxonomy Examples"},{"volume-title":"Chemical process safety: fundamentals with applications","year":"2011","author":"Crowl","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88911-1_1"},{"key":"ref16","first-page":"838","article-title":"API RP 14C 8th EDITION-Recommended practice for analysis, design, installation, and testing of safety systems for offshore production facilities","volume-title":"Isa Process Control and Safety Symposium and Exhibition 2016","author":"Pittman"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2020.104211"}],"event":{"name":"2022 6th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2022,11,23]]},"location":"Venice, Italy","end":{"date-parts":[[2022,11,25]]}},"container-title":["2022 6th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10067250\/10067256\/10067322.pdf?arnumber=10067322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T04:43:40Z","timestamp":1709441020000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10067322\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,23]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icsrs56243.2022.10067322","relation":{},"subject":[],"published":{"date-parts":[[2022,11,23]]}}}