{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:16:20Z","timestamp":1729624580192,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"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":[[2019,11]]},"DOI":"10.1109\/icsrs48664.2019.8987716","type":"proceedings-article","created":{"date-parts":[[2020,2,10]],"date-time":"2020-02-10T21:46:05Z","timestamp":1581371165000},"page":"295-303","source":"Crossref","is-referenced-by-count":6,"title":["Failure Mode Reasoning"],"prefix":"10.1109","author":[{"given":"Hamid","family":"Jahanian","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Reliability Maintainability and Risk Practical Methods for Engineers","year":"2011","author":"smith","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/9781118776353"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","article-title":"Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools","author":"ruijters","year":"2015","journal-title":"Comput Sci Rev"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2017.01.058"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90029-W"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48249-0_13"},{"key":"ref16","article-title":"A new component concept for fault tree","author":"kaiser","year":"2003","journal-title":"Eighth Australian workshop on safety crucial systems and software"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.051"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.psep.2014.12.009"},{"key":"ref19","article-title":"Applying Model Checking to Analysing Safety Instrumented Systems","author":"koskimies","year":"2008","journal-title":"TKK Reports in Information and Computer Science"},{"journal-title":"Fault Tree Analysis (FTA)","year":"2006","key":"ref4"},{"key":"ref3","article-title":"Fault Tree Handbook with Aerospace Applications","author":"vesely","year":"2002","journal-title":"Technical report NASA"},{"journal-title":"Programmable controllers - Part 3 Programming languages","year":"2013","key":"ref6"},{"journal-title":"Definitions and Abbreviations","article-title":"Functional safety of electric\/electronic\/programmable electronic safety-related systems","year":"2011","key":"ref5"},{"journal-title":"Safety Integrity Level (SIL) verification of safety instrumented functions","year":"2015","key":"ref8"},{"journal-title":"Guidelines on the application of IEC61508–2 and IEC61508-3","year":"2011","key":"ref7"},{"journal-title":"Analysis techniques for system reliability - procedure for failure mode and effects analysis (FMEA)","year":"2006","key":"ref2"},{"journal-title":"Framework definitions system hardware and application programming requirements","year":"2016","key":"ref1"},{"key":"ref9","first-page":"168","volume":"55","author":"jahanian","year":"2015","journal-title":"Generalizing PFD formulas of IEC61508 for KooN configurations"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.03.021"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01799-5","author":"genesereth","year":"2013","journal-title":"Introduction to Logic"},{"journal-title":"Virginia Commonwealth University","year":"2013","author":"hammack","key":"ref21"}],"event":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2019,11,20]]},"location":"Rome, Italy","end":{"date-parts":[[2019,11,22]]}},"container-title":["2019 4th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8967508\/8987581\/08987716.pdf?arnumber=8987716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T13:08:35Z","timestamp":1695733715000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8987716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icsrs48664.2019.8987716","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}