В. В. Козловський, О. Л. Туровський, and В. Д. Кулінський, “Formalization of requirements for the telecommunications network management system”, PIC, vol. 2, no. 64, pp. 41–47, Dec. 2020.