Zaslať SMS: Analýza udalostných systémov s viacerými inštanciami :