Zaslať SMS: Automatizácia špecifikácie riadenia výkonu systémového modelu v čase