Implements finite-state machines supporting event-driven transitions, entry/exit actions, default actions, multiple state maps, automatic transitions, typed event parameters, and state externalization. Offers extensive visualization and example projects.