SMS versenden: Demonstrative Modeling of Discrete Dynamic Systems