SMG - State Machine Generator
SMG is a tool used to generate state machine framework code from a
terse set of directives embedded directly in the input source code
file. This tool will also generate GraphViz graphical description
and Spin/Promela modelling output.
