SMS versenden: Symbolic Analysis of Dynamical Systems