Харченко, С. Л. Design Language of Technical Specification of Control System. EEJET 2012, 1, 10-16.