Preliminary results from a model-driven architecture methodology for development of an event-driven space communications service concept | IEEE Conference Publication | IEEE Xplore