Automated Mapping from Goal Models to Self-Adaptive Systems