Can anyone recommend a good python library for state machines and example code of its use?