sfPFL: A Probabilistic Logic for Fault Trees.

Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga

Browse the full FM paper archive.