Anna Queralt Ernest Teniente Validation of UML Conceptual Schemas with Operations. 101-104 2008 CAiSE Forum http://ceur-ws.org/Vol-344/paper26.pdf conf/caise/2008fo db/conf/caise/caisefo2008.html#QueraltT08a