@article{BSC09,
author = {H. Boudali and P. Crouzen and M.I.A. Stoelinga},
title = {A Rigorous, Compositional, and Extensible Framework for Dynamic
Fault Tree Analysis},
journal ={IEEE Transactions on Dependable and Secure Computing},
volume = {99},
number = {1},
year = {2009},
publisher = {IEEE Computer Society},
}


<\pre>