The models:
  vending-VMC.txt
  minepumpsys-VMC-clean.txt

can be verified with the VMC tool, accessible online at the URL:

    http://fmt.isti.cnr.it/vmc/V6.5/vmc.html
    
    