Static Termination Analysis for Event-driven Distributed Algorithms. - Felix Wiemuth; Peter Amthor 001; Winfried E. Kühnhauser (DEBS, 2019)