Towards a model-based toolchain for remote configuration and maintenance of space-aware systems | IEEE Conference Publication | IEEE Xplore