B. Sundarraj. GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING. IJMA 2020, 9, 1119-1125.