A Performance Model for the HSDPA User Equipment and its Validation