ECSA 2020 Fraisl v0.pdf