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