Return to Article Details Técnicas de Planificación para la Generación Automática de Programas de Control