Nikitin, D. “SPECIFICATION FORMALIZATION OF STATE CHARTS FOR COMPLEX SYSTEM MANAGEMENT”. Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies, no. 1 (9), July 2023, pp. 104-9, doi:10.20998/2079-0023.2023.01.16.