added dependencies for LTL Pattern-DSL