Is there any tool, you could advice, for designing state machine or "protocol".
I mean small state-machine with 7-12 meaningful state (or x2 technical states - for example handshake can include several stages, but only 1 meaningful state), witch can be easily designed but hardly be supported/redesigned in necessary condition.
P.S. I'm not close to "state machine theory", but in my practice protocol state machine has weaker "happens before" relation when common state machine"