Anti-windup design with guaranteed regions of stability for discrete-time linear systems with saturating controls - Silva Jr.,João Manoel Gomes da (2004)