FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes. - Sadegh Esmaeil Zadeh Soudjani; Caspar Gevaerts; Alessandro Abate (TACAS, 2015)