GeMoS-a system for the geocoding and mosaicking of interferometric digital elevation models | IEEE Conference Publication | IEEE Xplore