Describir: Hybrid systems with constraints /