An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology | Publicación