Enikeev, Arslan, Mahfoodh Bilal Ahmed Mohammed, and Elina Stepanova. “ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING”. European Scientific Journal, ESJ 11, no. 10 (November 13, 2015). Accessed October 27, 2020. http://eujournal.org/index.php/esj/article/view/6478.