@evan surely statecharts will only capture something which actually conform with the statechart model?draw.io looks compelling…