A library for monitoring and graphing finite state machines