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