Achtung, der Miesepeter kommt:
Ich habe gerade studiumsbedingt viel mit Moore and Mealy automaten zu tun. (Etechnik in München). Ich habe die Erfahrung gemacht, dass so kleinere Codes (aka Blinklicht, Ampelsteuerung) noch verdammt übersichtlich sind. Sobald es aber etwas komplizierter wird (aka Quicksort) oder komplexere Steuerungen ist es echt schwer den Überblick zu behalten.
Vorallem problematisch sind die parralitäten, wenn man entscheiden muss was wichtiger wird und man entscheiden muss was als erstes Ausgeführt wird.

Fazit: Moore and Mealy sind ganz schön für kleinere Sachen, aber für große Projekte aufgrund der Parallelität und der Unübersichtlichkeit meiner Meinung nach immer noch schlechter als es gleich in C zu schreiben. Denn da hat man diese Probleme nicht, da man sie unbewusst selbst abfängt. Das kann leider ein autogenerator nicht. Trotz allem bin ich gespannt wie sich dein Projekt entwickelt und werde auf jedenfall die Weiterentwicklung verfolgen.