Sun Sep 28 18:56:37 CEST 2014
For testability, the important part is non-divergence, meaning that
the effective state space / input space is rather small.
For system design, the reason to pick state machines is synchronicity:
i.e. design with *GEARS*.
Somewhere in there is a simple formalism that allows reduction of
complexity of state machines, making them verifiable, while at the
same time providing a better language syntax to specity "gear"