Karlsruher Institut für Technologie / Lehrstuhl für Interaktive Echtzeitsysteme