Lehrstuhl für Informations- und Automatisierungssysteme / RTE Tools / acplt-ks