Process Mining and Performance Business Rules Topics: Business Process Management and Engineering; Effectiveness and Efficiency; Formal Methods for SSE; Process Improvement; SSE for Data and Process Mining In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 387-394, 2022