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