SMS versenden: Applied abstract analysis