Enviar por SMS: Príspevok k modelovaniu a verifikácii diskrétnych udalostných a distribuovaných systémov :