For citations:

Neyzov M.V., Kuzmin E.V. LTL-specification for development and verification of logical control programs in feedback systems. Modeling and Analysis of Information Systems. 2024;31(3):240-279. (In Russ.) https://doi.org/10.18255/1818-1015-2024-3-240-279