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