SMS versenden: Príspevok k automatickej syntéze programov :