a featured FSM that can export state images - View it on GitHub