Added README for the Dijstra protocol model in VDM-SL