High-integrity urban localization : bringing safety in aviation to autonomous driving