The studies discussed here seek to extract finite state models corresponding to goal models with the help of model transformation. The authors also discuss how the goal maintenance problem can be mapped to the state-space search problem, and how A* search can be used to identify an optimal goal model configuration that is free from all conflicts.