Zaslať SMS: Automatizovaná synchronizácia zdrojového kódu a sekvenčných diagramov