C library for creating Finite State Machines with Statecharts support - View it on GitHub