Popistas, Oana-Mirela (1999) Rose-GRC translator : mapping UML visual models onto formal specifications. Masters thesis, Concordia University.