TU Ilmenau, Fak. IA, Institut f. Theoretische u. Technische Informatik, FG Prozessinformatik