Analysis of linear systems with saturation using convex optimization | IEEE Conference Publication | IEEE Xplore