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