Stability analysis of discrete-time systems with time-varying delay via a delay-dependent matrix-separation-based inequality.