SMS versenden: Formal Methods Teaching