Zaslat SMS: Lyapunov Based Stability Analysis for Metro Lines