, 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 (Jul. 2015), 4845–4848. DOI:https://doi.org/10.17762/ijritcc.v3i7.4749.