B. Sundarraj (2020) “GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING”, International Journal of Modern Agriculture, 9(4), pp. 1119-1125. Available at: https://modern-journals.com/index.php/ijma/article/view/481 (Accessed: 3May2024).