For citations:

Neyzov M.V., Kuzmin E.V. LTL-specification for development and verification of control programs. Modeling and Analysis of Information Systems. 2023;30(4):308-339. (In Russ.) https://doi.org/10.18255/1818-1015-2023-4-308-339. EDN: LDUGES