В. Г. Мелкумян, “Formalization of the problem of synthesis and analysis of servicing technological systems”, Proceedings of National Aviation University, vol. 7, no. 3-4, pp. 59–62, Dec. 2000.