eiffel-state State Machine, Automata-based programming Fork from here https://code.google.com/p/eiffel-state/