LTL-Specification for Development and Verification of Control Programs - Neyzov, M. V. (Automatic Control and Computer Sciences)