Meta State Diagram in VDM and Java