Enikeev, Arslan, et al. “ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING”. European Scientific Journal, ESJ, vol. 11, no. 10, Nov. 2015, https://test.eujournal.org/index.php/esj/article/view/6478.