LTL specifications