Describir: LTL-Specification for Development and Verification of Control Programs