Deriving use cases from BPMN models: A proposal with computational support. - Alysson Nathan Girotto; Victor F. A. Santander; Ivonei F. da Silva; Marco Antonio Toranzo Céspedes (SCCC, 2017)