Invia SMS: Simulácia špecifikácie digitálneho systému v jazyku HSSL