Stability analysis of time-varying switched systems via indefinite difference Lyapunov functions. (May 2023)