Title: Mathematische Modellierung und Verifikation von SDL-Systemen