Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned.