Refactoring source code into goal models