Control Systems with Saturating Inputs: Analysis Tools