Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram. - Ilkyu Ha; Byunguk Kang (IDEAL, 2008)