Case study on VDM-style developments