An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems. - Faranak Nejati; Nor Asilah Wati Abdul Hamid; Sina Zangbari Koohi; Zahra Rahmani Zadeh (IEEE Access, 2023)