D. Nikitin, “SPECIFICATION FORMALIZATION OF STATE CHARTS FOR COMPLEX SYSTEM MANAGEMENT”, SACIT, no. 1 (9), pp. 104–109, Jul. 2023.