A compositional semantics for Repairable Fault Trees with general distributions.

Ral E. Monti, Carlos E. Budde, Pedro R. D'Argenio

Browse the full LPAR paper archive.