B. Sundarraj. GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING. IJMA [Internet]. 2020Dec.30 [cited 2024May2];9(4):1119-25. Available from: http://www.modern-journals.com/index.php/ijma/article/view/481