An analysis and design method for discrete-time linear systems under nested saturation | IEEE Conference Publication | IEEE Xplore