Modelirowanie pri proektirowanii bol'shih awtomatizirowannyh sistem