Павленко, П. The Formalization of Manufacturing Facilities in the Information Environment of Integrated Automated Systems. Proceedings of National Aviation University 2008, 34, 109-112.