NCELB. Formal Methods for the Verification of Safety Critical Applications using SPIN Model Checker. IJRITCC [Internet]. 2015Jul.31 [cited 2025Oct.3];3(7):4845-8. Available from: https://www.ijritcc.org/index.php/ijritcc/article/view/4749