Theater GObject integration library
Theater statechart designer
Theater genesis data model
The Theater finite state machine engine