Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen.