related documents Automatic Generation of Integrated Formal Models Corresponding to UML System Models Conferences