%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEEIEEE Access;2021;9; ;10.1109/ACCESS.2021.3051968Cause-consequence diagramevent treefault treereliability analysissafetyformal methodstheorem provingHOL4Monte-CarloFMECAelectrical power networkFORSAIDICause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks
IEEE Access23929 2021910.1109/ACCESS.2021.305196823943
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>/ProcSet[/PDF/Text]/ColorSpace<>/Font<>>>/MediaBox[0 0 576 782.929]/Annots[19 0 R]/Rotate 0>>
endobj
4 0 obj
<>
endobj
5 0 obj
<>stream
HtWYs6+|[jK7ǖk;cJq Px()U@w7֧ݵ"'k]amr,V^W\ޗLx2