Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga. BFL: a Logic to Reason about Fault Trees. In 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Baltimore, MD, USA, June 27-30, 2022. pages 441-452, IEEE, 2022. [doi]
Abstract is missing.