For citations:

Garanina N.O., Staroletov S.M., Zyubin V.E., Anureev I.S. Model checking programs in process-oriented IEC 61131-3 Structured Text. Modeling and Analysis of Information Systems. 2024;31(1):32-53. (In Russ.) https://doi.org/10.18255/1818-1015-2024-1-32-53