Design of Symbolic Controllers for Networked Control Systems