Modelado, trazabilidad y análisis de requisitos integrados