An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology | IEEE Conference Publication | IEEE Xplore