Philippe Collet Roger Rousseau Towards Efficient Support for Executing the Object Constraint Language. 399- 1999 conf/tools/30-1999 TOOLS (30) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787605 db/conf/tools/tools30-1999.html#ColletR99