С. Л. Харченко, “Design language of technical specification of control system”, EEJET, vol. 1, no. 3(49), pp. 10–16, Jan. 2012.