Envoyer par SMS: Simulácia zápisu špecifikácie v HSSL = Design and implement simulator of digital system described in formal :