Ontwerpen met behulp van toestandsdiagrammen