Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems Topics: Collaborative Requirements and Processes; Formal Methods; Innovative Mobile Applications for Enterprises; Model-Driven Engineering; Multidevice Testing and Verification; Software and Systems Development Methodologies; Software Change and Configuration Management; Software Process Improvement In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, 331-336, 2015 , Barcelona, Spain