Assessing a requirements evolution approach: Empirical studies in the air traffic management domain