@inproceedings{BCS07,
  author    = {Hichem Boudali and
               Pepijn Crouzen and
               Mari{\"e}lle Stoelinga},
  title     = {Dynamic Fault Tree Analysis Using Input/Output Interactive
               Markov Chains.},
  booktitle = {The 37th Annual IEEE/IFIP International Conference on Dependable
               Systems and Networks, DSN 2007, UK, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {2007},
  pages     = {708-717},
}