LTL in work