Verifying Industrial Hybrid Systems with MathSAT