Reihe PhD Theses in Experimental Software Engineering

Qualitative Reliability Analysis of Software-Controlled Systems using State/Event Fault Trees.