, N. C. E. L. B. “Formal Methods for the Verification of Safety Critical Applications Using SPIN Model Checker”. International Journal on Recent and Innovation Trends in Computing and Communication, vol. 3, no. 7, July 2015, pp. 4845-8, doi:10.17762/ijritcc.v3i7.4749.