Estimates of software size from state machine designs
The length, or size (in number of Source Lines of Code) of programs represented as state machines, it is demonstrated, can be reliably estimated in terms of the number of internal state machine variables.
Britcher, R. N.↗