, N. C. E. L. B. (2015). Formal Methods for the Verification of Safety Critical Applications using SPIN Model Checker. International Journal on Recent and Innovation Trends in Computing and Communication, 3(7), 4845–4848. https://doi.org/10.17762/ijritcc.v3i7.4749