Improving Use Case Specifications by means of Refactoring | IEEE Journals & Magazine | IEEE Xplore