Organizations are increasingly choosing process-oriented organizational designs as a source to achieve competitive advantages. Business process models represent the sequence of tasks that an organization carries out. However, organizations must cope with quality problems of business process models (e.g., lack of understandability, maintainability, reusability, etc.). These problems are compounded when business process models are mined by reverse engineering (e.g., from information systems that support them), owing to the semantics loss that it involves. Refactoring techniques are commonly used to reduce these problems through changing their internal structure without altering their external behavior. Although several refactoring operators exist in the literature, there are no refactoring techniques especially developed for models obtained by reverse engineering and their special features. For this reason, this chapter presents IBUPROFEN, a refactoring technique (and supporting tool) for business process models obtained by reverse engineering. Moreover, a case study is conducted to determine how the refactoring operator's order influences the understanding and modification of business process models. The case study reveals there is a clear influence in these quality features in terms of the size and separability of the models under study, and therefore, refactoring operators do not satisfy the commutative property among them.