The unified scheduling language designed for the space mission scheduling platform | IEEE Conference Publication | IEEE Xplore