Symbolic Methods in Control System Analysis and Design