Claudia Pons Diego García Practical Verification Strategy for Refinement Conditions in UML Models. 47-61 2006 conf/ifip/2006se IFIP Workshop on Advanced Software Engineering http://dx.doi.org/10.1007/978-0-387-34831-5_4 db/conf/ifip/ifip2006se.html#PonsG06