@misc{indiciae762126b22ef8,
  title = {Multiple Analyses, Requirements Once: simplifying testing \& verification in automotive model-based development},
  author = {Philipp Berger and Johanna Nellen and Joost-Pieter Katoen and Erika Abraham and Md Tawhid Bin Waez and Thomas Rambow},
  year = {2019},
  url = {https://arxiv.org/abs/1906.07083},
  note = {Source identifier: 1906.07083}
}