%0 Journal Article
%A N. O. Garanina
%A S. M. Staroletov
%A V. E. Zyubin
%A I. S. Anureev
%T Model checking programs in process-oriented IEC 61131-3 Structured Text
%J Modelirovanie i analiz informacionnyh sistem
%D 2024
%P 32-53
%V 31
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2024_31_1_a1/
%G ru
%F MAIS_2024_31_1_a1