Semi-analytical models for saturation in optical-klystron FEL devices