Invia SMS: Preklad návrhových modelov do vyššieho programovacieho jazyka