FSM Frameworks

Hi,


hat hier jemand erfahrung mit uc-programmierung per FSM und insb 
FSM-frameworks?

wie geht ihr vor? was nutzt ihr? irgendwelche empfehlungen?

was ich bisher gefunden habe:

IAR visual state:
http://www.iar.com/website1/1.0.1.0/371/1/index.php

quantum leaps QP-nano:
http://www.quantum-leaps.com/products/qpn.htm

autogen/autoFSM, fsm generator
http://autogen.sourceforge.net/index.html