Thomas Raimbault David Genest Stéphane Loiseau A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram. 179-184 2009 ICAART conf/icaart/2009 db/conf/icaart/icaart2009.html#RaimbaultGL09