B. Sundarraj. (2020). GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING. International Journal of Modern Agriculture, 9(4), 1119-1125. Retrieved from http://www.modern-journals.com/index.php/ijma/article/view/481