Lehrstuhl für Informations- und Automatisierungssysteme / RTE Tools / rte_misc