Symbolic derivation discrete state space.

Converts a proper 1st order continuous SISO transfer function to discrete state
space form using a Tustin approximation and a balanced realization.