Anna Queralt Ernest Teniente Reasoning on UML Conceptual Schemas with Operations. 47-62 2009 CAiSE http://dx.doi.org/10.1007/978-3-642-02144-2_9 conf/caise/2009 db/conf/caise/caise2009.html#QueraltT09