> simplistic and vague informal diagramming is a great source of confusion It definitely is, but are UML statecharts the right solution? Why not go the full ni

> simplistic and vague informal diagramming is a great source of confusion It definitely is, but are UML statecharts the right solution? Why not go the full nine yards and use a full-blown formal modelling environment, like TLA+? After all, using UML in a formal fashion would take more or less the same amount of effort as learning TLA+, which moreover: * Is textual (making it easier to version-control and collaborate upon) * Can be verified formally