Харченко, С. (2010). Generation the software component of control system of the formal description their behavioral model and restrictions. Eastern-European Journal of Enterprise Technologies, 2(3(44), 33–36. https://doi.org/10.15587/1729-4061.2010.2635