B. Sundarraj, “GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING”, IJMA, vol. 9, no. 4, pp. 1119-1125, Dec. 2020.