Text this: Discretized Lyapunov Function Approach for Switched Linear Systems under Dwell Time Constraint