Brendan Zabarauskas on Twitter: "@charlesrandall He's quite curious about your 'formal state machine generator' :P @eddietree" / Twitter