Forschungsthemen [BA] Erkennung von Inkonsistenzen zwischen Modellen und zugehörigen textbasierten BeschreibungenBetreuer: Markus Hamann