Zustandsdiagramme Und Design By Contract by Matthias Witt