[raidicy]

This was also my experience, one look at the full spec and I tuned out.

I understand that this is not the tool for everything but scxml, state chart XML, gives you something like this but something that you can actually read without investing time learning syntax.

It also has some plugins on vs code that allow you to edit it visually in case you don't want to write a bazillion XML tags.

[beu5a]

You can try Quint for specifications. It has an easier syntax closer to functional programming language and doesn't require a big investment learning the syntax: https://github.com/informalsystems/quint