Zaslať SMS: Špecifikácia v Object-Z