A very high-performance library for expressive UML2 finite state machines.
Boost.Statechart - Arbitrarily complex finite state machines can be implemented in easily readable and maintainable C++ code.