Describir: Software Prototyping, Formal Methods and VDM