SMS versenden: Modelovacie formalizmy udalostných systémov