SMS versenden: Symbolic methods in control system analysis and design