Deriving use cases from BPMN models: A proposal with computational support | IEEE Conference Publication | IEEE Xplore