Invia SMS: Modelovanie, špecifikácia a verifikácia logických obvodov