Technical Achievements and Scientific Results of RadioAstron Mission 2011-2018 | IEEE Conference Publication | IEEE Xplore