@misc{indiciaede7d7b14184e,
  title = {One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs},
  author = {Sebastian Junges and Joost-Pieter Katoen and Marielle Stoelinga and Matthias Volk},
  year = {2018},
  doi = {10.1007/978-3-319-91268-4\_14},
  url = {https://arxiv.org/abs/1803.05376},
  note = {Source identifier: 1803.05376}
}