Linking Integrated Formal Method with UML