drawing of state machines