B. Sundarraj. “GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING”. International Journal of Modern Agriculture 9, no. 4 (December 30, 2020): 1119-1125. Accessed September 11, 2025. https://www.modern-journals.com/index.php/ijma/article/view/481.