, N. C. E. L. B. Formal Methods for the Verification of Safety Critical Applications Using SPIN Model Checker. IJRITCC 2015, 3, 4845-4848.