Erstellung korrekter Spezifikationen für diskrete Systeme.