Xiangyu Bao, Zongli Lin, Eduardo D. Sontag: Finite gain stabilization of discrete-time linear systems subject to actuator saturation. Autom. 36(2): 269-277 (2000)