Minimalbeispiel für Mikrocontrollerprogramm mit einer Yakindu-Statemachine

Hallo,

Ich habe mir diesen Artikel durchgelesen und möchte nun eine 
Statemachine mit Yakindu auf einem Mikrocontroller bringen (mit Hilfe 
des C-Code Generators):
http://www.mikrocontroller.net/articles/Statemachine

Der Link in dem Artikel für den fertigen Quellcode funktioniert leider 
nicht mehr:
http://statecharts.org/Examples/ampel.zip

Weiß jemand, wie ich die notwendigen Funktionen programmieren muss, 
damit die Statemachine läuft? Also was in meine main.c noch rein muss? 
Am liebsten wäre mir ein Minimalbeispiel, mit den notwendigen Funktionen 
und der Initialisierung.

Kennt da jemand ein Tutorial mit Beispiel-Quellcode? Oder evtl. einen 
funktionierenden Link für das Ampel Beispiel?

Vielen Dank im Voraus!