Requirements engineering based on business process models: A case study | IEEE Conference Publication | IEEE Xplore