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