Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage