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