An analysis-revision cycle to evolve requirements specifications | IEEE Conference Publication | IEEE Xplore