Towards formal verification of UML diagrams based on graph transformationYu ZhaoYushun Fanet al.2004CEC-East 2004