A. Enikeev, M. B. A. Mohammed, and E. Stepanova, “ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING”, ESJ, vol. 11, no. 10, Nov. 2015.