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