CitySpec con Shield: Un Asistente Inteligente Seguro para la Formalización de Requisitos