LTL Patterns