Deriving user requirements from business process models for automation: A case study | IEEE Conference Publication | IEEE Xplore