State models of dynamic systems a case study approach - MacClamroch, Nathaniel H. (Springer, 1980)