Tabular notations for state machine-based specifications

Markus Herrmannsdörfer, Sascha Konrad, Brian Berenbach. Tabular notations for state machine-based specifications. Cross Talk, The Journal of defense Software Engineering, , March 2008.