I quite like https://sketch.systems/ https://sketch.systems/ as a tool for quickly getting up and running with Statecharts. There's also a good article by Hill

I quite like https://sketch.systems/ https://sketch.systems/ as a tool for quickly getting up and running with Statecharts. There's also a good article by Hillel Wayne about using Statecharts and Alloy to formally specify UIs. https://www.hillelwayne.com/post/formally-specifying-uis/ https://www.hillelwayne.com/post/formally-specifying-uis/