Computer-Aided Control Engineering Environment for the Synthesis of Nonlinear Control Systems | IEEE Conference Publication | IEEE Xplore