Enviar por SMS: Static analysis of cylindrical tank shells