A library for writing client/testing code based on DFA - View it on GitHub