Харченко, С. Generation the Software Component of Control System of the Formal Description Their Behavioral Model and Restrictions. EEJET 2010, 2, 33-36.