С. Харченко, “Generation the software component of control system of the formal description their behavioral model and restrictions”, EEJET, vol. 2, no. 3(44), pp. 33–36, Apr. 2010.