Integrity Analysis for GPS-Based Navigation of UAVs in Urban Environment | Synapse