A. D. Khusniddinovna, “Methods of Testing Logical Control Systems”, MP, vol. 28, pp. 247–249, Oct. 2022.