Comparison and verification of urban propagation models | IEEE Conference Publication | IEEE Xplore