KTR-AASP-M:Algorithmische Analyse stochastischer Prozesse
KTR-MAKV-M: Modellierung und Analyse von Kommunikationsnetzen und Verteilten Systemen