М. Барабаш and А. Дзюба, “Analysis of the degree of formalization and automation of design”, Proceedings of National Aviation University, vol. 31, no. 1, pp. 174–177, Jan. 2007.