Stability theory of linear systems with saturation inputs