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