LTL-Specification for Development and Verification of Control Programs. - Maxim V. Neyzov; Egor Vladimirovich Kuzmin (Autom. Control. Comput. Sci., 2024)