Anna Queralt Ernest Teniente Decidable Reasoning in UML Schemas with Constraints. 354-254 2009 JISBD conf/jisbd/2009 db/conf/jisbd/jisbd2009.html#QueraltT09