Nikitin, Dmytro. “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 15, 2023): 104–109. Accessed November 22, 2024. http://samit.khpi.edu.ua/article/view/284730.