Invia SMS: Formal Methods Teaching