Toward a Pattern-Based Comprehensive Framework Using Process Mining for RBAC Conformance Checks. - Nguyen, Duc-Hieu; Sei, Yuichi; Tahara, Yasuyuki; Ohsuga, Akihiko (International Journal of Software Engineering & Knowledge Engineering, 2025)