User-level reliability monitoring in urban personal satellite-navigation | Synapse