Alessandra Russo, Andy Schürr, Heike Wehrheim: Editorial. Formal Aspects Comput. 31(5): 457-458 (2019)