Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden.