Andy Schürr A New Type Checking Approach for OCL Version 2.0? 21-41 2002 conf/ocl/2002 Object Modeling with the OCL http://link.springer.de/link/service/series/0558/bibs/2263/22630021.htm db/conf/ocl/ocl2002.html#Schurr02