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