Zaslať SMS: Analysis of Dynamic System Properties