Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study | IEEE Conference Publication | IEEE Xplore