"An Overview of RoZ: A Tool for Integrating UML and Z Specifications."

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics