Connecting UML and VDM++ with Open Tool Support. - Kenneth Lausdahl; Hans Kristian Agerlund Lintrup; Peter Gorm Larsen (FM, 2009)