It's a language designed to do finite state systems. It has a
reasonably sensible syntax to describe the behavior that you want from
the state machine, and it will generate either C or hardware netlists.

I understand that it has been used in aircraft flight control systems,
including fly-by-wire designs. It can handle a LOT of states. It
does a pretty good job of shielding you from the underlying
complexity, too.