Declarative representation of curricula models: an LTL- and UML-based approach