Hector Miguel Chavez Wuwei Shen Shaoying Liu An approach to detection of UML-based ownership violation. 541-542 2009 SAC http://doi.acm.org/10.1145/1529282.1529396 conf/sac/2009 db/conf/sac/sac2009.html#ChavezSL09