Add VDM++ module