Mandy Weißbach: Deadlockanalyse Service-orientierter Softwaresysteme. Martin Luther University of Halle-Wittenberg, Germany 2019