SMS versenden: Introduction to the formal method