M. Weyrich. Problems of modeling and design automation - Festveranstaltung zum 100 jährigen Jubiläum der DonNTU (Donezker Nationale Technische Universität - G.J.-Pukhov-Institut für Simulationsprobleme in Energetik), NAW Ukraine, PROGRAMM der wissenschaftlichen Jubiläumskonferenz SIMULATION UND COMPUTER -GRAFIK, 27. Mai 2021, (2021)
C. Dubslaff, A. Morozov, C. Baier, and K. Janschek. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pp. 121-133, (2020)