Symbolic Computations in Design and Modelling of Nonlinear Control