Sharob project for generating state machines on iOS devices