SMS versenden: Reduction, abstraction, analysis