Zaslat SMS: Algebraic Methods for Nonlinear Control Systems