SMS versenden: Analýza modelov diskrétnych udalostných systémov v objektovo-orientovanom jyzaku C++