Matteo Baldoni Cristina Baroglio Elisa Marengo Curricula Modeling and Checking. 471-482 2007 conf/aiia/2007 AI*IA http://dx.doi.org/10.1007/978-3-540-74782-6_41 db/conf/aiia/aiia2007.html#BaldoniBM07