TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. - Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem (ATVA, 2021)