Refining Goal Models by Evaluating System Behaviour