Linking integrated formal method with UML - Liu, Jing (2001)