@inproceedings{CrouzenPulungan09,
author = {Pepijn Crouzen and Reza Pulungan},
title = {Acyclic Phase-Type Distributions in Fault Trees},
booktitle = {Proceedings of the International Workshop on
Performability Modeling of Computer and Communication Systems
(PMCCS)},
year = {2009},
subproject={S3},
access={open},
bibtex={crouzen.pmcss09.bib},
pdf={crouzen.pmcss09.pdf},
abstract={Acyclic phase-type distributions can be used to
describe the time until a basic event in a fault tree occurs.
We show in this paper that the top event of a fault tree built
from such basic events is also acyclic phase-type distributed. We
then apply a recently developed acyclic phase-type minimization
algorithm to effectively combat the state-space explosion problem
in a dynamic fault tree analysis.},
}