Zaslať SMS: Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL