Modeling frame synchronization for UMTS high-speed downlink packet access | IEEE Journals & Magazine | IEEE Xplore