@misc{indiciaec5f87ffc97ab,
  title = {Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand},
  author = {Pablo Fernandez Carmona and Michael Eichin and Alexandre Mayor and Harald Regele and Martin Grossmann and Damien Charles Weber},
  year = {2018},
  url = {https://arxiv.org/abs/1807.01748},
  note = {Source identifier: 1807.01748}
}