Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method. - Saeedeh Ghaedi Heidari; Shohreh Ajoudanian (Innov. Syst. Softw. Eng., 2024)