Correcte toestandsdiagrammen