Zaslať SMS: Symbolic methods in control system analysis and design