Automating the simulation of complex discrete-time control systems: a mathematical framework, algorithms, and a software package | IEEE Journals & Magazine | IEEE Xplore