B. Sundarraj 2020. GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING. International Journal of Modern Agriculture. 9, 4 (Dec. 2020), 1119-1125.