A method for evaluating information systems from workflow models: Results from a case study | IEEE Conference Publication | IEEE Xplore