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