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