SMS versenden: Podpora testovania v distribuovaných reaktívnych systémoch založená na identifikácii diagramov sekvencií