Text this: Goal Model Evaluation Based on State-Space Representation