Practical formal methods with VDM | lit.salon