Envoyer par SMS: Symbolic methods in control system analysis and design