@incollection{FAUST2,
  title = "\textsf{FAUST}$^{\textsf{2}}$: Formal Abstractions of Uncountable-STate STochastic Processes",
  author = "{Esmaeil Zadeh Soudjani}, S. and Gevaerts, C. and Abate, A.",
  year = "2015",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "Baier, Christel and Tinelli, Cesare",
  isbn = "978-3-662-46680-3",
  language = "English",
  pages = "272-286",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-662-46681-0_23",
  volume = "9035",
  doi = "10.1007/978-3-662-46681-0_23",
}