State Machine für verschiedene Events

Ich mache es z.B. so:
   
Die State-Cases befinden sich alle im Timeout der Ereignisstruktur. Wichtig ist, daß in den States kein Waits stattfinden, auch langes Warten auf Datenempfang etc. sollte vermieden werden (Z.B. bei Warten auf Datenempfang: Timeout im Ereignsicase so einstellen, daß beim Übergang zum Dantenempfangs-Case schon alle Bytes im Empfangspuffer sind. Oder den Datenempfangs-Case mehrere Male pollen, bis alle Daten im Buffer sind) . D.h. alles Warten, wenn erforderlich, sollte möglichst immmer über den Timeout-Anschluß der Ereignsistruktur realisiert werden, wobei die Timeout-Zeit nicht konstant sein muß, sondern sich über Schieberegister für jeden State individuell anpassen läßt.
Beim Datenempfang sollte auch auch über eine Erzeuger-Verbraucher-Struktur nachgedacht werden. Dann würde das Warten auf Datenempfang in eine unabhängige Schleife ausgelagert. Oder ein erfolgter Datenempfang läßt sich als Ereignis registrieren (Das ist die um Größenordnung bessere Variante gegenüber den oben von mir in Klammern genannten Möglichkeiten).
Edit: unausgereifte Überlegung: Könnte man es nicht auch so einrichten, daß jeder neue State ein benutzerdefiniertes Ereignis ist? Dann währen alle States Ereignise und hätten ihren eigenen Case innerhalb der Ereignsistruktur, anstatt innerhalb einer normalen Case-Struktur