Enikeev, A.; Mohammed, M. B. A.; Stepanova, E. ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. ESJ 2015, 11.