Part of the ASC DiFX correlation workflow for "Radioastron" data processing