vdm2alloy A VDM to Alloy translator of simple implicit VDM-SL models. To be continued by MFES students at University of Minho.