The framework implements UML statecharts in C++ and Java. Next to the standard elements of FSMs, hierarchical and concurrent states are as well supported as pseudostates, segmented transitions, timed events and an eventqueue using a thread pool.
