Discrete-time linear systems : theory and design with applications (2012)