Bin Zhou: Analysis and design of discrete-time linear systems with nested actuator saturations. Syst. Control. Lett. 62(10): 871-879 (2013)