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