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