UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process. - Emanuel S. Grant; Robert B. France; Ramchander Varadarajan; Adam Carheden; Jean-Michel Bruel (OOIS, 2000)