Propuestas de traceability en ATL.