Time differenced carrier phase RAIM for urban air mobility | Synapse