@misc{indiciae0baf314e48a1,
  title = {The xSAP Safety Analysis Platform},
  author = {Benjamin Bittner and Marco Bozzano and Roberto Cavada and Alessandro Cimatti and Marco Gario and Alberto Griggio and Cristian Mattarei and Andrea Micheli and Gianni Zampedri},
  year = {2015},
  url = {https://arxiv.org/abs/1504.07513},
  note = {Source identifier: 1504.07513}
}