N. C. E. L. B., “Formal Methods for the Verification of Safety Critical Applications using SPIN Model Checker”, IJRITCC, vol. 3, no. 7, pp. 4845–4848, Jul. 2015.