П. Павленко, “The formalization of manufacturing facilities in the information environment of integrated automated systems”, Proceedings of National Aviation University, vol. 34, no. 1, pp. 109–112, Jan. 2008.