Павленко, П. “The Formalization of Manufacturing Facilities in the Information Environment of Integrated Automated Systems”. Proceedings of National Aviation University, vol. 34, no. 1, Jan. 2008, pp. 109-12, doi:10.18372/2306-1472.34.1542.