A nonlinear small gain theorem for the analysis of control systems with saturation | Synapse