Coupling Overture to MDA and UML A master thesis being written at IHA Denmark. Topic: visualize VDM using UML. http://mt.lausdahl.com/pics/favicon.ico