Duc-Hieu Nguyen, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga: Towards a Pattern-based Comprehensive Framework using Process Mining for RBAC Conformance Checks, International Journal of Software Engineering and Knowledge Engineering, Vol.35, No.2, pp.157-194 (2025.2)