Describir: Quantitative Feedback Theory and Sliding Mode Control