Symbolic Models for Control Systems