@misc{indiciaec1914dfe581c,
  title = {Simulation-based Safety Assessment of High-level Reliability Models},
  author = {Simon József Nagy and Bence Graics and Kristóf Marussy and András Vörös},
  year = {2020},
  doi = {10.4204/eptcs.316.9},
  url = {https://arxiv.org/abs/2004.13290},
  note = {Source identifier: 2004.13290}
}