Invia SMS: Automatizácia špecifikácie riadenia výkonu v systémovom modeli