Matteo Baldoni Cristina Baroglio Giuseppe Berio Elisa Marengo Declarative representation of curricula models: an LTL- and UML-based approach. 34-41 2007 WOA http://woa07.disi.unige.it/papers/BaldoniDeclarative.pdf conf/woa/2007 db/conf/woa/woa2007.html#BaldoniBBM07