Enviar por SMS: Integrácia formálnych a semiformálnych špecifikačných metód