Automated Stability Analysis