%0 Journal Article %A E. V. Kuzmin %A V. A. Sokolov %T Modeling, Specification and Construction of PLC-programs %J Modelirovanie i analiz informacionnyh sistem %D 2013 %P 104-120 %V 20 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2013_20_2_a7/ %G ru %F MAIS_2013_20_2_a7