Hui Song Yanchun Sun Li Zhou Gang Huang Towards Instant Automatic Model Refinement Based on OCL. 167-174 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.96 db/conf/apsec/apsec2007.html#SongSZH07