Jörg Bauer Werner Damm Tobe Toben Bernd Westphal Verification and Synthesis of OCL Constraints Via Topology Analysis. 361-376 2007 AGTIVE http://dx.doi.org/10.1007/978-3-540-89020-1_25 conf/agtive/2007 db/conf/agtive/agtive2007.html#BauerDTW07