Enviar por SMS: Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN