The VDM Extractor