Deriving high-priority acceptance test cases using utility trees: A case study | IEEE Conference Publication | IEEE Xplore