@misc{indiciaebaa8d3c20e3a,
  title = {Advancing Dynamic Fault Tree Analysis},
  author = {Matthias Volk and Sebastian Junges and Joost-Pieter Katoen},
  year = {2016},
  doi = {10.1007/978-3-319-45477-1\_20},
  url = {https://arxiv.org/abs/1604.07474},
  note = {Source identifier: 1604.07474}
}