@inproceedings{xSAP-TACAS16,
  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},
  title     = {The xSAP Safety Analysis Platform},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, {TACAS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016},
  year      = {2016},
}