Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems