Martin Gogolla Mirco Kuhlmann Lars Hamann Consistency, Independence and Consequences in UML and OCL Models. 90-104 2009 TAP http://dx.doi.org/10.1007/978-3-642-02949-3_8 conf/tap/2009 db/conf/tap/tap2009.html#GogollaKH09