, 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), pp. 4845–4848. doi: 10.17762/ijritcc.v3i7.4749.