Constraint-basierte Deadlock-Prüfung von High-Level-Spezifikationen