Zaslať SMS: Transformácia formálnej špecifikácie správania sa v jazyku HSSL do VHDL modelu