BFL: a Logic to Reason about Fault Trees.

Stefano M. Nicoletti, Ernst Moritz Hahn, Marille Stoelinga

Browse the full DSN paper archive.