Харченко, С. 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) (Apr. 2010), 33–36. DOI:https://doi.org/10.15587/1729-4061.2010.2635.